%% This BibTeX bibliography file was created using BibDesk.
%% http://www.cs.ucsd.edu/~mmccrack/bibdesk.html


%% Created for Tobias Wrigstad at 2005-09-27 15:22:22 +0200 


%% Saved with string encoding ASCII (TeX) 




@STRING{iandcomp = "Information and Computation"}

@STRING{tapos = "Theory and Practice of Object Sytems"}


@inproceedings{slurp,
	Author = {Sophia Drossopoulou and Susan Eisenbach},
	Publisher = {www-dse.doc.ic.ac.uk/projects/slurp/},
	Title = {Sound {L}anguages {U}nderpin {R}eliable {P}rogramming},
	Year = {1998-now}}

@mastersthesis{wren2003,
	Author = {Alisdair Wren},
	Month = {June},
	Note = {MEng4 Thesis},
	School = {Imperial College, London},
	Title = {Inferring Ownership},
	Year = 2003}

@article{Fickle2,
	Author = {Sophia Drossopoulou and Ferruccio Damiani and Mariangiola Dezani and Paola Giannini},
	Journal = {{T}ransaction on {P}rogramming {L}anguages and {S}systems},
	Number = 2,
	Pages = {153-191},
	Publisher = {ACM},
	Title = {{Fickle$_{II}$, more object reclassification}},
	Volume = {24},
	Year = {2002}}

@inproceedings{LICS,
	Author = {Sophia Drossopoulou and Susan Eisenbach and David Wragg},
	Booktitle = {LICS Proceedings},
	Title = {{A Fragment Calculus - towards a model of Separate Compilation, Linking and Binary Compatibility}},
	Year = 1999}

@inproceedings{overl,
	Author = {Davide Ancona and Sophia Drossopoulou and Elena Zucca},
	Booktitle = {FOOL},
	Title = {{Overloadinf and Inheritance}},
	Year = 2000}

@inproceedings{oopsla,
	Author = {Sophia Drossopoulou and David Wragg and Susan Eisenbach},
	Booktitle = {{OOPSLA'98 Proceedings}},
	Pages = {341--358},
	Title = {{What is {J}ava Binary Compatibility?}},
	Year = 1998}

@inproceedings{FickleImpl,
	Author = {Davide Ancona and Christopher Anderson and Ferrucccio Damiani and Sophia Drossopoulou and Paola Giannini and Elena Zucca},
	Booktitle = {{Electronic Proceedings in Theretical Computer Science}},
	Number = {62},
	Title = {{A Type Preserving translation of Fickle into {J}ava}},
	Year = 2002}

@inproceedings{dynLinkB,
	Author = {Sophia Drossopoulou},
	Booktitle = {Types in {C}ompilation},
	Month = {September},
	Title = {Towards an abstract model of {J}ava dynamic linking, loading and verification},
	Year = {2000}}

@inproceedings{dynLinkC,
	Author = {Sophia Drossopoulou and Giovanni Lagorio and Susan Eisenbach},
	Booktitle = {ESOP Proceedings},
	Title = {{Flexible Models for Dynamic Linking}},
	Year = 2003}

@article{DE98a,
	Author = {Sophia Drossopoulou and Susan Eisenbach and Sarfraz Khurshid},
	Journal = {{T}heory and {P}ractice of {O}bject {S}ystems},
	Month = Jan,
	Number = 1,
	Title = {Is {J}ava {S}ound?},
	Volume = 5,
	Year = {1999}}

@incollection{SD03,
	Author = {Matthew Smith and Sophia Drossopoulou},
	Booktitle = iwaco,
	Editor = {Dave Clarke},
	Month = {July},
	Pages = {15 -- 28},
	Publisher = {Utrecht University},
	Series = {UU-CS-2003-030},
	Title = {Cheaper Reasoning with Ownership Types},
	Year = 2003}

@inproceedings{boyland:03connecting,
	Author = {John Boyland},
	Booktitle = iwaco,
	Editor = {Dave Clarke},
	Month = {July},
	Number = {UU-CS-2003-030},
	Pages = {42 -- 57},
	Publisher = {Utrecht University},
	Title = {Connecting Effects and Uniqueness with Adoption},
	Year = {2003}}

@unpublished{xpath,
	Author = {James Clark and Steve DeRose},
	Month = {November},
	Note = {\texttt{http://www.w3.org/TR/xpath}},
	Title = {{XML} Path Language ({XPath}) Version 1.0},
	Year = 1999}

@inproceedings{madsen:location,
	Author = {Ole Lehrmann Madsen and Birger M{\o}ller-Pedersen},
	Booktitle = {Proceedings of the seventh international conference on Technology of object-oriented languages and systems},
	Isbn = {0-13-917436-2},
	Location = {Dortmund, Germany},
	Pages = {283--297},
	Publisher = {Prentice Hall International (UK) Ltd.},
	Title = {Part objects and their location},
	Year = {1992}}

@inproceedings{scoped:ecoop2002,
	Author = {Ludger Fiege and Mira Mezini and Gero M{\"u}hl and Alejando P. Buchmann},
	Booktitle = ecoop,
	Month = jun,
	Title = {Engineering Event-based Systems with Scopes},
	Year = 2002}

@mastersthesis{potanin:honours,
	Author = {Alex Potanin},
	School = {Victoria University of Wellington},
	Title = {The Fox -- A Tool for Object Graph Analysis},
	Year = 2002}

@inproceedings{DR02:ICSE02,
	Address = {Orlando, Florida},
	Author = {B. Demsky and M. Rinard},
	Booktitle = {Proceedings of the 2002 International Conference on Software Engineering},
	Month = May,
	Title = {Role-Based Exploration of Object-Oriented Programs},
	Year = 2002}

@inproceedings{pierce98local,
	Address = {New York, NY},
	Author = {Benjamin C. Pierce and David N. Turner},
	Booktitle = {Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California},
	Pages = {252--265},
	Title = {Local Type Inference},
	Url = {citeseer.nj.nec.com/pierce98local.html},
	Year = {1998}}

@article{kiczales01overview,
	Author = {Gregor Kiczales and Erik Hilsdale and Jim Hugunin and Mik Kersten and Jeffrey Palm and William G. Griswold},
	Journal = {Lecture Notes in Computer Science},
	Pages = {327--355},
	Title = {An Overview of {AspectJ}},
	Url = {citeseer.nj.nec.com/kiczales01overview.html},
	Volume = {2072},
	Year = {2001}}

@article{liebermann,
	Author = {Henry Liebermann},
	Booktitle = {OOPSLA'86 Conference Proceedings},
	Journal = {SIGPLAN Notices},
	Month = {November},
	Number = 11,
	Pages = {214--223},
	Title = {Using Prototypical Objects to Implement Shared Behaviour in Object-oriented Systems},
	Volume = 21,
	Year = 1986}

@article{HW91,
	Author = {Douglas E. Harms and Bruce W. Weide},
	Journal = {{IEEE} {T}ransactions on {S}oftware {E}ngineering},
	Month = may,
	Number = 5,
	Pages = {424--435},
	Title = {Copying and swapping: {I}nfluences on the design of reusable software components},
	Volume = 17,
	Year = 1991}

@inproceedings{CF99,
	Author = {Cormac Flanagan and Mart{\'i}n Abadi},
	Booktitle = {Programming Languages and Systems},
	Date-Modified = {2005-09-27 15:22:22 +0200},
	Month = {March},
	Pages = {91-107},
	Series = {Lecture Notes in Computer Science},
	Title = {Types for {S}afe {L}ocking},
	Volume = 1567,
	Year = 1999}

@inproceedings{flanagan:freund,
	Author = {Cormac Flanagan and Stephen Freund},
	Booktitle = {ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation},
	Month = {June},
	Title = {Type-based race detection for {J}ava},
	Year = 2000}

@incollection{Liu:BTrees,
	Author = {Xinxin Liu and David Walker},
	Booktitle = {Proof, Language and Interaction: Essays in Honour of Robin Milner},
	Editor = {G. Plotkin, C. Stirling and M. Tofte},
	Publisher = {MIT Press},
	Title = {Concurrent Objects as Mobile Processes},
	Year = {1998}}

@inproceedings{Bancroft:TypeExtension,
	Author = {Peter Bancroft and Ian Hayes},
	Booktitle = {Formal Methods Pacific '97},
	Month = {July},
	Title = {Type Extension and Refinement},
	Year = {1997}}

@techreport{Odersky:LocalNames,
	Author = {Martin Odersky},
	Institution = {Yale University},
	Month = {May},
	Number = {YALEU/DC/RR-965},
	Title = {A Syntactic Theory of Local Names},
	Year = {1993}}

@inproceedings{Odersky:FunctionalNames,
	Author = {Martin Odersky},
	Booktitle = {21th {ACM} conference on {P}rinciples of {P}rogramming {L}anguages},
	Month = {January},
	Title = {A Functional Theory of Local Names},
	Year = {1994}}

@inproceedings{Leroy:SecureApplets,
	Author = {Xavier Leroy and Fran\c{c}ois Rouaix},
	Booktitle = {25th {ACM} conference on {P}rinciples of {P}rogramming {L}anguages},
	Month = {January},
	Title = {Security Properies of typed applets},
	Year = {1998}}

@inproceedings{Flatt:ClassesMixins,
	Author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
	Booktitle = {25th {ACM} {C}onference on {P}rinciples of {P}rogramming {L}anguages},
	Month = {January},
	Title = {Classes and {M}ixins},
	Year = {1998}}

@inproceedings{Riecke:Privacy,
	Author = {Jon G. Riecke and Christopher A. Stone},
	Booktitle = {Fifth Workshop on Foundations of Object-Oriented Languages},
	Title = {{P}rivacy via {S}ubsumption},
	Year = {1998}}

@techreport{Hennessey:AccessControl,
	Author = {Matthew Hennessy and James Riely},
	Institution = {University of {S}ussex},
	Month = {February},
	Number = {2/98},
	Title = {{R}esource {C}ontrol in {S}ystems of {M}obile {A}gents},
	Year = {1998}}

@inproceedings{Cardelli:MobileAmbients,
	Author = {Luca Cardelli and Andrew D. Gordon},
	Booktitle = {Foundations of Software Science and Computation Structures, European Joint Conferences on Theory and Practice of Software},
	Month = {March},
	Title = {Mobile {A}mbients},
	Year = 1998}

@incollection{hofmann:dependent,
	Author = {Martin Hofmann},
	Booktitle = {Semantics of Logics of Computation},
	Editor = {P. Dybjer and A. Pitts},
	Publisher = {Cambridge University Press},
	Title = {Syntax and Semantics of Dependent Types},
	Year = 1997}

@inproceedings{spi,
	Author = {M. Abadi and A. D. Gordon},
	Booktitle = {Fourth ACM Conference on Computer and Communications Security},
	Pages = {36--47},
	Publisher = {{ACM} Press},
	Title = {A Calculus for Cryptographic Protocols: The {S}pi Calculus},
	Year = 1997}

@article{Milner:PiCalculus,
	Author = {Robin Milner and Joachim Parrow and David Walker},
	Journal = {Information and Computation},
	Month = {September},
	Pages = {1-77},
	Title = {A calculus of mobile processes, {P}arts {I} and {II}},
	Volume = {100},
	Year = {1992}}

@book{Mey92,
	Author = {Bertrand Meyer},
	Publisher = {Prentice Hall},
	Title = {Eiffel: {T}he {L}anguage},
	Year = {1992}}

@book{Mey88,
	Author = {Bertrand Meyer},
	Publisher = {Prentice Hall},
	Title = {Object-Oriented Software Construction},
	Year = {1988}}

@book{GR83,
	Author = {A. Goldberg and D. Robson},
	Publisher = {Addison-{W}esley},
	Title = {Smalltalk-80: {T}he {L}anguage and its {I}mplementation},
	Year = {1983}}

@book{Cxx,
	Author = {Margaret Ellis and Bjarne Stroustrup},
	Publisher = {Addison-{W}esley},
	Title = {The {A}nnotated {C}++ {R}eference {M}anual},
	Year = {1990}}

@book{betabook,
	Author = {Ole Lehrmann Madsen and Birger M{\o}ller-Pedersen and Kirsten Nygaard},
	Publisher = aw,
	Title = {Object-Oriented Programming in the {BETA} Programming Language},
	Year = 1993}

@techreport{goldstien,
	Author = {T. Goldstein},
	Institution = {Sun Microsystems Laboratories -- {J}avasoft},
	Month = dec,
	Title = {The gateway security model in the {Ja}va electronic commerce framework},
	Year = 1996}

@incollection{scmos,
	Author = {Jan Vitek and Manuel Serrano and Dimitri Thanos},
	Booktitle = {Mobile Object Systems: Towards the Programmable Internet.},
	Editor = {J. Vitek and C. Tschudin},
	Month = apr,
	Publisher = {Springer-Verlag},
	Series = {LNCS 1222},
	Title = {Security and Communication in Mobile Object Systems},
	Year = 1997}

@article{maclennan,
	Author = {B. J. MacLennan},
	Journal = sigplan,
	Month = dec,
	Number = 12,
	Title = {Values and objects in programming languages},
	Volume = 17,
	Year = 1982}

@inproceedings{KH96,
	Address = {Paris},
	Author = {Stuart Kent and John Howse},
	Booktitle = {TOOLS 19},
	Title = {Value Types in {E}iffel},
	Year = 1996}

@article{LS99,
	Author = {K. Rustan M. Leino and Raymie Stata},
	Journal = {Information Processing Letters},
	Month = {April},
	Number = 2,
	Pages = {99-105},
	Title = {Virginity: A contribution to the specification of object-oriented software},
	Volume = 70,
	Year = 1999}

@inproceedings{boyland98,
	Author = {Edwin C. Chan and John T. Boyland and William L. Scherlis},
	Booktitle = icse,
	Title = {Promises: Limitied Specifications for Analysis and Manipulation},
	Year = 1998}

@article{Baker93,
	Author = {Henry G. Baker},
	Journal = {{OOPS} Messenger},
	Month = oct,
	Number = 4,
	Title = {Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same},
	Volume = 4,
	Year = 1993}

@article{Baker-iterators,
	Author = {Henry G. Baker},
	Journal = {{OOPS} Messenger},
	Month = jul,
	Number = 3,
	Title = {Iterators: Signs of Weakness in Object-Oriented Languages},
	Volume = 4,
	Year = 1993}

@article{Bak95,
	Author = {Henry G. Baker},
	Journal = sigplan,
	Month = jan,
	Number = 1,
	Pages = {45--52},
	Title = {`{U}se-Once' Variables and Linear Objects -- Storage Management, Reflection and Multi-Threading},
	Volume = 30,
	Year = 1995}

@book{GS96,
	Author = {James Gosling and Bill Joy and Guy Steele},
	Publisher = aw,
	Title = {The {J}ava Language Specification},
	Year = 1996}

@techreport{cecil,
	Author = {Craig Chambers},
	Institution = {University of Washington},
	Month = {March},
	Number = {Version 2.7},
	Title = {The {C}ecil Language: Specification \& {R}ationale},
	Year = 1997}

@inproceedings{chambers:fool,
	Author = {Craig Chambers and Gary Leavens},
	Booktitle = {Fourth Workshop on Foundations of Object-Oriented Languages},
	Title = {Type Soundness for an Object-Oriented Language with Multimethods, Block Structure, and Modules},
	Year = {1997}}

@techreport{bececil,
	Author = {Craig Chambers and Gary T. Leavens},
	Institution = {Department of Computer Science and Engineering, University of Washington},
	Number = {UW-CSE-96-12-02},
	Title = {{BeCecil}, a core object-oriented language with block structure and multimethods: Semantics and typing},
	Year = 1997}

@incollection{cardelli-typeful-prog,
	Author = {Luca Cardelli},
	Booktitle = {Formal Descriptions of Programming Concepts},
	Editor = {E.J. Newbold and M. Paul},
	Publisher = {Springer-Verlag},
	Title = {Typeful Programming},
	Year = 1991}

@article{cardelli:wegner,
	Author = {Luca Cardelli and Peter Wegner},
	Journal = {Computing Surveys},
	Month = {December},
	Number = 4,
	Pages = {471-522},
	Title = {On {U}nderstanding {T}ypes, {D}ata {A}bstraction, and {P}olymorphism},
	Volume = 17,
	Year = 1985}

@book{AC96,
	Author = {Mart{\'i}n Abadi and Luca Cardelli},
	Publisher = {Springer-Verlag},
	Title = {A Theory of Objects},
	Year = 1996}

@inproceedings{holmestools97,
	Author = {David Holmes and James Noble and John Potter},
	Booktitle = {{TOOLS} {P}acific 25},
	Title = {Aspects of Synchronisation},
	Year = 1997}

@techreport{matsuoka90,
	Author = {S. Matsuoka and K. Wakita and A. Yonezawa},
	Institution = {Dept. of Information Science, University of Tokyo},
	Title = {Sychronisation Constraints with Inheritance: {W}hat is not Possible? --- so what is?},
	Year = 1990}

@article{kingGeom,
	Author = {Jin Song Dong and Roger Duke},
	Journal = {Object Oriented Systems},
	Pages = {41-63},
	Title = {The Geometry of Object Containment},
	Volume = {2},
	Year = 1995}

@inproceedings{dongduke95,
	Author = {Jin Song Dong and Roger Duke},
	Booktitle = {{TOOLS} {P}acific 18},
	Title = {Exclusive Control within Object Oriented Systems},
	Year = 1995}

@inproceedings{KM95,
	Author = {Stuart Kent and Ian Maung},
	Booktitle = {{TOOLS} {P}acific 18},
	Title = {Encapsulation and Aggregation},
	Year = 1995}

@inproceedings{hagimont,
	Address = {Hong Kong},
	Author = {Daniel Hagimont and J. Mossi{\`e}re and Xavier Rousset de Pina and F. Saunier},
	Booktitle = {16th International Conference on Distributed Computing System},
	Month = may,
	Publisher = {{IEEE} CS Press},
	Title = {Hidden Software Capabilities},
	Year = 1996}

@techreport{griesemer:detection-of-side-effects:94,
	Author = {Robert Griesemer},
	Institution = {International {C}omputer {S}ience {Institute}, {Berkeley}},
	Month = aug,
	Number = {TR-94-032},
	Title = {Detection of {S}ide-{E}ffects in {F}unction {P}rocedures},
	Year = 1994}

@inproceedings{deutsch:may-alias:94,
	Author = {Alain Deutsch},
	Booktitle = {Proceedigns of the {ACM SIGPLAN'94} {C}onference on {P}rogramming {L}anguage {D}esign and {I}mplementation},
	Month = jun,
	Title = {Interprocedural {M}ay-{A}lias {A}nalysis for {P}ointers: {B}eyond k-limiting},
	Year = 1994}

@incollection{jones-muchnick:flow-analysis:81,
	Author = {Neil D. Jones and Steven Muchnick},
	Booktitle = {Program {F}low {A}nalysis: {Theory} and {A}pplications},
	Editor = {Steven Muchnick and Neil D. Jones},
	Publisher = {Prentice {H}all},
	Title = {Flow analysis and optimization of {LISP}-like structures},
	Year = {1981}}

@inproceedings{hendren-gao:designing-for-analyzability:92,
	Author = {Laurie J. Hendren and G. R. Gao},
	Booktitle = {Proceedings of the {IEEE} 1992 {I}nternational {C}onference on {P}rogramming {L}anguages},
	Month = apr,
	Title = {Designing programming languages for analyzability: {A} fresh look at pointer data structures},
	Year = 1992}

@techreport{spool,
	Author = {Pierre America and Frank {de Boer}},
	Institution = {Philips Research Laboratories},
	Number = {Technical Report 505},
	Title = {A sound and complete proof system for {SPOOL}},
	Year = 1990}

@inproceedings{reynolds,
	Author = {John C. Reynolds},
	Booktitle = {5th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {Syntactic Control of Interference},
	Year = 1978}

@inproceedings{Rey83,
	Author = {John C Reynolds},
	Booktitle = {Information Processing '83},
	Pages = {513--523},
	Publisher = {North-Holland},
	Title = {Types, Abstraction, and Parametric Polymorphism},
	Year = 1983}

@inproceedings{reynoldsagain,
	Author = {John C. Reynolds},
	Booktitle = {Automata, Languages, and Programming: 16th International Colloquium},
	Number = 372,
	Pages = {704-722},
	Series = {LNCS},
	Title = {Syntactic Control of Interference, Part 2},
	Year = 1989}

@inproceedings{Leino.Poetzsch-Heffter.Zhou.2002,
	Author = {Leino, K. Rustan M. and Poetzsch-Heffter, Arnd and Zhou, Yunhong},
	Booktitle = {Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation},
	Month = {June},
	Note = {Available at http://softech.informatik.uni-kl.de/downloads/publications/pldi02.pdf},
	Pages = {246--257},
	Title = {Using Data Groups to Specify and Check Side Effects},
	Volume = {37(5)},
	Year = 2002}

@inproceedings{MuellerPoetzsch-Heffter01,
	Author = {M\"{u}ller, P. and Poetzsch-Heffter, A.},
	Booktitle = {Formal Techniques for {J}ava Programs},
	Note = {To be presented at ECOOP 2001 workshop on Formal Techniques for {J}ava Programs. Available at http://softech.informatik.uni-kl.de/downloads/publications/firewall.pdf},
	Title = {A Type System for Checking Applet Isolation in {J}ava {C}ard},
	Year = 2001}

@inproceedings{ohearn:syntactic,
	Author = {P. W. O'Hearn and A. J. Power and M. Takeyama and R. D. Tennent},
	Booktitle = {Mathematical Foundations of Programming Semantics, Eleventh Conference},
	Title = {Syntactic control of interference revisited},
	Year = 1995}

@inproceedings{ORY01,
	Author = {Peter O'Hearn and John Reynolds and Homngseok Yang},
	Booktitle = {CSL, Springer Verlag, LNCS 2142},
	Title = {Local reasoning abour Programs that Alter Data Structures},
	Year = 2001}

@inproceedings{fx,
	Author = {John M. Lucassen and David K. Gifford},
	Booktitle = {POPL},
	Title = {Polymorphic effect systems},
	Year = 1988}

@inproceedings{civello93,
	Author = {Franco Civello},
	Booktitle = oopsla,
	Title = {Roles for composite objects in object-oriented analysis and design},
	Year = {1993}}

@book{GHJV94,
	Author = {Erich Gamma and Richard Helm and Ralph E. Johnson and John Vlissides},
	Publisher = aw,
	Subtitle = {Elements of Reusable Object-Oriented Software},
	Title = {Design Patterns},
	Year = {1994}}

@article{landi92,
	Author = {William Landi},
	Journal = {{ACM} Letters on Programming Languages and Systems},
	Month = dec,
	Number = 4,
	Pages = {323--337},
	Title = {Undecidability of Static Analysis},
	Volume = 1,
	Year = 1992}

@inproceedings{grogono:ecoop2000,
	Author = {Peter Grogono and Markku Sakkinen},
	Booktitle = ecoop,
	Month = jun,
	Title = {Copying and {C}omparing: {P}roblems and {S}olutions},
	Year = 2000}

@inproceedings{CNP01,
	Author = {David Clarke and James Noble and John Potter},
	Booktitle = ecoop,
	Month = jun,
	Title = {Simple ownership types for Object containment},
	Year = 2001}

@inproceedings{BNR01,
	Author = {John Boyland and James Noble and William Retert},
	Booktitle = ecoop,
	Title = {Capabilities for {S}haring: {A} {G}eneralization of {U}niqueness and {R}ead-{O}nly},
	Year = 2001}

@inproceedings{Alm97,
	Author = {Paulo S{\'e}rgio Almeida},
	Booktitle = ecoop,
	Month = jun,
        volume = "1241",
	Title = {{B}alloon {T}ypes: Controlling Sharing of State in Data Types},
	Year = 1997}

@phdthesis{almeida-thesis,
	Author = {Paulo S{\'e}rgio Almeida},
	Month = {June},
	School = {Department of Computing, Imperial College of Science, Technology, and Medicine, University of London},
	Title = {Control of Object Sharing in Programming Languages},
	Year = 1998}

@book{cplusplus,
	Author = {Bjarne Stroustrup},
	Keywords = {olit-oopl c++ obib(oopl)},
	Publisher = aw,
	Title = {The {C}++ Programming Language},
	Year = {1986}}

@article{epigrams,
	Author = {Alan Perlis},
	Journal = sigplan,
	Month = sep,
	Number = 9,
	Title = {Epigrams on programming},
	Volume = 17,
	Year = 1982}

@article{Geneva,
	Author = {John Hogg and Doug Lea and Alan Wills and Dennis de Champeaux and Richard Holt},
	Journal = {{OOPS} Messenger},
	Month = apr,
	Number = 2,
	Pages = {11--16},
	Title = {The {Geneva} Convention on the Treatment of Object Aliasing},
	Volume = 3,
	Year = 1992}

@inproceedings{Hog91,
	Author = {John Hogg},
	Booktitle = oopsla,
	Month = nov,
	Title = {Islands: Aliasing Protection in Object-Oriented Languages},
	Year = {1991}}

@techreport{kernighan-on-pascal,
	Author = {Brian Kernighan},
	Institution = {Bell Labs},
	Number = 100,
	Title = {Why {P}ascal is not my Favourite Programming Language},
	Year = 1983}

@article{kjxoopv,
	Author = {James Noble and Lindsay J. Groves and Robert L. Biddle},
	Journal = {Australian Computer Journal},
	Month = nov,
	Number = 4,
	Title = {Object Oriented Program Visualisation in Tarraing{\'i}m},
	Volume = 27,
	Year = 1995}

@inproceedings{Min96,
	Author = {Naftaly Minsky},
	Booktitle = ecoop,
	Month = jul,
	Title = {Towards Alias-Free Pointers},
	Year = 1996},
        series = {Lecture Notes in Computer Science},
        Volume = {1098}
}

@misc{bornatFringe,
	Author = {Richard Bornat and Christiano Calcgno and peter O'Hearn},
	Title = {Local reasoning, Separation and Aliasing},
	Url = {http://www.cs.mdx.ac.uk/staffpages/r_bornat/papers/separation_and_aliasing.pdf},
	Year = {2003}}

@misc{hinze99constructing,
	Author = {R. Hinze},
	Title = {Constructing Red-Black Trees},
	Url = {citeseer.nj.nec.com/article/hinze99constructing.html},
	Year = {1999}}

@techreport{smartCardVerif,
	Author = {C.-B. Breunesse, B. Jacobs, N. Catano and M. Huisman},
	Institution = {Computing Science Institute, University of Nijmegen},
	Number = {NIII-R0316},
	Title = {Formal Methods for Smart Cards: an experience report},
	Year = 2003}

@book{oosc,
	Author = {Bertrand Meyer},
	Keywords = {olit-oopl eiffel obib(oopl)},
	Publisher = {Prentice Hall},
	Title = {Object-oriented Software Construction},
	Year = {1988}}

@book{stroustrup-de,
	Author = {Bjarne Stroustrup},
	Publisher = aw,
	Title = {The Design and Evolution of \cxx},
	Year = 1994}

@article{tl81,
	Author = {Alan Borning},
	Journal = toplas,
	Month = oct,
	Number = 4,
	Title = {The Programming Language Aspects of {ThingLab}, a Constraint-Oriented Simulation Laboratory},
	Volume = 3,
	Year = 1981}

@phdthesis{wills92,
	Author = {Alan Cameron Wills},
	School = {University of Manchester},
	Title = {Formal Methods applied to Object-Oriented Programming},
	Year = {1992}}

@inproceedings{blakecook87,
	Author = {Edwin Blake and Steve Cook},
	Booktitle = ecoop,
	Title = {On Including Part Hierarchies in Object-Oriented Languages, with an Implementation in {S}malltalk},
	Year = {1987}}

@inproceedings{utting95,
	Author = {Mark Utting},
	Booktitle = {The Fourth Australasian Refinement Workshop},
	Title = {Reasoning about Aliasing},
	Year = 1995}

@inproceedings{grogono:equality,
	Address = {Bratislava, Slovakia},
	Author = {Peter Grogono and Philip Santas},
	Booktitle = {{EastEurOOPe'93}},
	Title = {Equality in Object-oriented Languages},
	Year = 1993}

@inproceedings{GC94,
	Address = {Montreal, Quebec},
	Author = {Peter Grogono and Patrice Chalin},
	Booktitle = {Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering ({COODBSE'94})},
	Month = may,
	Title = {Copying, Sharing, and Aliasing},
	Year = 1994}

@inproceedings{Pizza,
	Author = {Martin Odersky and Philip Wadler},
	Booktitle = {Proc. 24th ACM Symposium on Principles of Programming Languages},
	Month = {January},
	Title = {{Pizza} into {{J}ava}: Translating theory into practice},
	Year = 1997}

@incollection{accountNumberPlopD1,
	Author = {William C. Wake},
	Booktitle = {Pattern Languages of Program Design},
	Publisher = aw,
	Title = {Account Number: A Pattern},
	Volume = 1,
	Year = 1995}

@inproceedings{kjxacd97,
	Address = {Sydney, Australia},
	Author = {James Noble and John Potter},
	Booktitle = {Australian Software Engineering Conference},
	Publisher = {IEEE Press},
	Title = {Change Detection for Aggregate Objects with Aliasing},
	Year = 1997}

@inproceedings{NVP98,
	Author = {James Noble and Jan Vitek and John Potter},
	Booktitle = ecoop,
	Title = {Flexible Alias Protection},
	Year = 1998}

@inproceedings{CPN98,
	Author = {David Clarke and John Potter and James Noble},
	Booktitle = oopsla,
	Title = {Ownership Types for Flexible Alias Protection},
	Year = 1998}

@inproceedings{Lei98,
	Author = {K. Rustan M. Leino},
	Booktitle = oopsla,
	Title = {Data {G}roups: {S}pecifying the {M}odification of {E}xtended {S}tate},
	Year = 1998}

@inproceedings{PNC98,
	Address = {Adelaide, Australia},
	Author = {John Potter and James Noble and David Clarke},
	Booktitle = {Australian Software Engineering Conference},
	Month = {November},
	Publisher = {IEEE Press},
	Title = {The Ins and Outs of Objects},
	Year = 1998}

@book{dragon-book,
	Author = {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman},
	Publisher = {Addison-{W}esley},
	Title = {Compilers: {P}rinciples, {T}echniques, and {T}ools},
	Year = {1986}}

@article{regions,
	Author = {J.-P Talpin and P. Jouvelot},
	Journal = {Journal of Functional Programming},
	Month = {July},
	Number = 3,
	Pages = {245-271},
	Title = {Polymorphic type, region, and effect inference},
	Volume = 2,
	Year = 1992}

@article{tofte:regions,
	Author = {Mads Tofte and Jean-Pierre Talpin},
	Journal = {Information and Computation},
	Number = 2,
	Pages = {109--176},
	Title = {Region-{B}ased {M}emory {M}anagement},
	Volume = 132,
	Year = 1997}

@book{rumbaugh,
	Author = {James Rumbaugh and Michael Blaha and William Premerlani and Frederick Eddy and William Lorensen},
	Publisher = {Prentice Hall},
	Title = {Object-{O}riented {M}odeling and {D}esign},
	Year = {1991}}

@inproceedings{Bruce:Cardelli:Pierce,
	Author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
	Booktitle = {Theoretical Aspects of Computer Software (TACS'97)},
	Pages = {415-438},
	Series = {LNCS 1281},
	Title = {Comparing {O}bject {E}ncodings},
	Year = 1997}

@inproceedings{Morrisett,
	Author = {J. Gregory Morrisett},
	Booktitle = {{ACM} {SIGPLAN} {W}orshop on {S}tate in {P}rogramming {L}anguages},
	Title = {Refining {F}irst-{C}lass {S}tores},
	Year = 1993}

@techreport{Pierce91b,
	Author = {Benjamin C. Pierce},
	Institution = {Carnegie Mellon University},
	Month = feb,
	Number = {CMU-CS-91-106},
	Title = {Programming with Intersection Types, Union Types, and Polymorphism},
	Type = {Technical Report},
	Year = {1991}}

@inproceedings{Sabry:Felleisen,
	Address = {San Francisco, CA},
	Author = {Amr Sabry and Matthias Felleisen},
	Booktitle = {1992 {ACM} {C}onference on {LISP} and {F}unctional {P}rogramming},
	Month = {June},
	Organization = {ACM},
	Pages = {288-298},
	Title = {Reasoning about programs in continuation-passing style},
	Year = 1992}

@book{aho,
	Author = {Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman},
	Publisher = {Addison-{W}esley},
	Title = {The design and analysis of computer algorithms},
	Year = 1974}

@book{nielson:nielson,
	Author = {Hanne Riis Nielson and Flemming Nielson},
	Publisher = {Wiley},
	Title = {Semantics with {A}pplications: a formal introduction},
	Year = 1992}

@inproceedings{gay:regions,
	Address = {Montreal, Canada},
	Author = {David Gay and Alexander Aiken},
	Booktitle = {1998 Conference on Programming Design and Implementation},
	Month = {June},
	Title = {Memory Management with Explicit Regions},
	Year = 1998}

@inproceedings{jackson:lackwit,
	Address = {Boston, USA},
	Author = {Robert O'Callahan and Daniel Jackson},
	Booktitle = {1997 International Conference on Software Engineering},
	Month = {May},
	Title = {Lackwit: a program understanding tool based on type inference},
	Year = 1997}

@inproceedings{baker:unifyandconquer,
	Address = {Nice, France},
	Author = {Henry G. Baker},
	Booktitle = {Proc. 1990 {ACM} Conf. on Lisp and Functional Programming},
	Month = {June},
	Pages = {218-226},
	Title = {Unify and {C}onquer ({G}arbage, {U}pdating, {A}liasing, ...) in {F}unctional {L}anguages},
	Year = 1990}

@incollection{reddy:globalstate,
	Author = {Uday Reddy},
	Booktitle = {Algol-like {L}anguages},
	Chapter = 19,
	Pages = {227-295},
	Publisher = {Birkh\"auser},
	Title = {Global State Considered Unnecessary},
	Volume = 2,
	Year = 1997}

@techreport{crowl92,
	Address = {Corvallis, Oregon, USA},
	Author = {Lawrence A. Crowl},
	Institution = {Computer Science Department, Oregon State University},
	Month = {November},
	Number = {92-60-20},
	Title = {Variables and Parameters as References and Containers},
	Year = 1992}

@inproceedings{goguen:unification,
	Author = {Joseph A. Goguen},
	Booktitle = {Resolution of {E}quations in {A}lgebraic {S}tructures, {V}olume 1: {A}lgebraic {T}echniques},
	Editor = {Maurice Nivat and Hassan Ait-Kaci},
	Note = {217-261},
	Publisher = {Academic Press},
	Title = {What is {U}nification?},
	Year = 1989}

@inproceedings{GJ,
	Author = {Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler},
	Booktitle = oopsla,
	Title = {Making the Future Safe for the Past: Adding Genericity to the {J}ava Programming Language},
	Year = 1998}

@incollection{ohearn:parametricity,
	Author = {Peter W. O'Hearn and Robert D. Tennent},
	Booktitle = {Algol-like {L}anguages},
	Chapter = 16,
	Pages = {109-163},
	Publisher = {Birkh\"auser},
	Title = {Parametricity and Local Variables},
	Volume = 2,
	Year = 1997}

@book{Barendregt,
	Address = {Amsterdam},
	Author = {H. P. Barendregt},
	Optedition = {revised edition},
	Publisher = {North-{H}olland},
	Series = {Studies in {L}ogic and the {F}oundations of {M}athematics},
	Title = {The {L}ambda {C}alculus: its {S}yntax and {S}emantics},
	Volume = {103},
	Year = {1984}}

@inproceedings{Felleisen:ParameterPassing,
	Address = {Orlando, {FL}},
	Author = {Erik Crank and Matthias Felleisen},
	Booktitle = {Principles of Programming Languages},
	Month = {January},
	Title = {{P}arameter-{P}assing and the {L}ambda {C}alculus},
	Year = 1991}

@unpublished{clad:order,
	Author = {David Clarke and Ryan Shelswell and John Potter and James Noble},
	Note = {Microsoft Research Institute Internal Report},
	Title = {Object ownership to order},
	Year = 1998}

@unpublished{clad:afraid,
	Author = {David Clarke and James Noble and John Potter},
	Note = {Unpublished manuscript.},
	Title = {Who's Afraid of Ownership Types?}}

@book{clemens:book,
	Author = {Clemens Szyperski},
	Publisher = {Addison Wesley, ACM Press},
	Title = {Component Software - Beyond Object-Oriented Programming},
	Year = 1998}

@inproceedings{clemens:inheritance,
	Author = {Wolfgang Weck and Clements Szyperski},
	Booktitle = {Workshop on Composibility Issues in Object Orientation (at ECOOP'96)},
	Title = {Do We Need Inheritance?},
	Year = 1996}

@inproceedings{clemens:objects,
	Address = {Germany},
	Author = {Cuno Pfister and Clements Szyperski},
	Booktitle = {First International Component Users Conference (CUC'96)},
	Month = {July},
	Title = {Why Objects are Not Enough},
	Year = 1996}

@inproceedings{Felleisen:extensible,
	Author = {Shriram Krishnamurthi and Matthias Felleisen},
	Booktitle = {Sixth {ACM}-{SIGSOFT} {S}ymposium on the {F}oundations of {S}oftware {E}ngineering},
	Month = {November},
	Title = {Towards a {F}ormal {T}heory of {E}xtensible {S}oftware},
	Year = 1998}

@manual{ocaml,
	Author = {Xavier Leroy},
	Month = {August},
	Note = {Available from {http://caml.inria.fr/ocaml}},
	Title = {The {O}bjective {C}aml system release 2.0: {D}ocumentation and user's manual},
	Year = 1998}

@inproceedings{Torgersen98,
	Address = {San Diego, CA},
	Author = {Mads Torgersen},
	Booktitle = {5th Workshop on Foundations of Object-Oriented Languages (FOOL)},
	Month = {January},
	Title = {Virtual Types are Statically Safe},
	Year = {1998}}

@inproceedings{IgarashiPierce99,
	Author = {Atsushi Igarashi and Benjamin C. Pierce},
	Booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
	Note = {Also in informal proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL). Full version to appear in {\em Information and Computation}},
	Title = {Foundations for Virtual Types},
	Year = 1999}

@unpublished{Remy:virtualtypes,
	Author = {Didier R\'emy and J\'er\^ome Vouillon},
	Month = {October},
	Note = {Available from {http://pauillac.inria.fr/$\sim$remy}},
	Title = {The reality of virtual types for free!},
	Year = 1998}

@unpublished{Remy:objectdemo,
	Author = {Didier R\'emy and J\'er\^ome Vouillon},
	Month = {October},
	Note = {http://pauillac.inria.fr/$\sim$remy/objectdemo.html},
	Title = {A demo of {O}bjects in {C}aml},
	Year = 1998}

@book{SML,
	Author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
	Publisher = {MIT Press},
	Title = {The {D}efinition of {S}tandard {ML} ({R}evised)},
	Year = {1997}}

@article{Remy:ocaml,
	Author = {Didier R\'emy and J\'er\^ome Vouillon},
	Journal = {Theory and {P}ractice of {O}bject {S}ystems},
	Number = 1,
	Pages = {27-50},
	Title = {{O}bjective {ML}: {A}n effective object-oriented extension to {ML}},
	Volume = 4,
	Year = 1998}

@inproceedings{Noble:arguments,
	Address = {Monticello, Illinois},
	Author = {James Noble},
	Booktitle = {4th {A}nnual {C}onference on {P}attern {L}anguages of {P}rograms},
	Title = {Arguments and {R}esults},
	Year = 1997}

@phdthesis{Reppy:thesis,
	Address = {Ithaca, NY},
	Author = {John H. Reppy},
	Month = {June},
	Note = {Technical Report {TR} 92-1852},
	School = {Department of Computer Science},
	Title = {Higher-order {C}oncurrency},
	Year = {Cornell University}}

@article{Multilisp,
	Author = {Robert H. Halstead Jr},
	Journal = {{ACM} {T}ransactions on {P}rogramming {L}anguages and {S}ystems},
	Month = {October},
	Number = 6,
	Pages = {501-538},
	Title = {Multilisp: {A} language for concurrent symbolic computation},
	Volume = 7,
	Year = 1985}

@book{liskov:guttag,
	Author = {Barbara Liskov and John Guttag},
	Publisher = {The {MIT} {P}ress},
	Title = {Abstraction and {S}pecification in {P}rogram {D}evelopment},
	Year = 1986}

@article{liskov:behavioural,
	Author = {Barbara Liskov and Jeanette Wing},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {November},
	Number = 6,
	Pages = {1811--1841},
	Title = {A Behavioural Notion of Subtyping},
	Volume = 16,
	Year = 1994}

@techreport{DLN98,
	Author = {David L. Detlefs and K. Rustan M. Leino and Greg Nelson},
	Institution = {Compaq Systems Research Center},
	Month = {July},
	Number = {SRC-RR-98-156},
	Title = {Wrestling with rep exposure},
	Year = 1998}

@incollection{cardelli:leroy,
	Author = {Luca Cardelli and Xavier Leroy},
	Booktitle = {Programming Concepts and Methods, IFIP State of the Art Reports.},
	Month = {March},
	Note = {Also available as Digital Systems Research Center Technical Report SRC-RR-90-56},
	Pages = {479-504},
	Publisher = {North Holland},
	Title = {Abstract types and the dot notation},
	Year = 1990}

@book{java:libs,
	Author = {James Gosling and Frank Yellin},
	Publisher = {Addison-Wesley},
	Title = {The {J}ava Application Programming Interface, Volume 1},
	Year = 1996}

@inproceedings{gouthred,
	Address = {Brussels, Belgium},
	Author = {Geoff Outhred and John Potter},
	Booktitle = {Proceedings of the Third International Workshop on Component-Oriented Programming},
	Month = {July},
	Title = {A Model for Component Composition with Sharing},
	Year = 1998}

@article{mitchell:plotkin,
	Author = {John C. Mitchell and Gordon D. Plotkin},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = 3,
	Pages = {470-502},
	Title = {Abstract Types have Existential Type},
	Volume = 10,
	Year = 1988}

@book{proofsandtypes,
	Author = {J.-Y. Girard and Y. Lafont and P. Taylor},
	Publisher = {Cambridge University Press},
	Series = {Cambridge Tracts in Theoretical Computer Science},
	Title = {Proofs and Types},
	Year = 1989}

@inproceedings{hoare:jifeng,
	Author = {C. A. R. Hoare and He Jifeng},
	Booktitle = {ECOOP'99},
	Pages = {1-17},
	Title = {A trace model for pointers and objects},
	Year = 1999}

@unpublished{derek:thesis,
	Author = {Derek Santib\'a{\~n}ez},
	Note = {Honours Thesis, School of MPCE, Macquarie University},
	Title = {Visualisation of Dynamic Ownership Trees in Evolving Object Graphs},
	Year = 1998}

@inproceedings{GB99,
  author =      {Aaron Greenhouse and John Boyland},
  title =       {An Object-Oriented Effects System},
  booktitle =   ecoop,
  year =        1999
}

@techreport{bokowski:coffeestrainer,
	Author = {Boris Bokowski},
	Institution = {{FU} {B}erlin, {I}nst.~f.~{I}nformatik},
	Number = {B-98-14},
	Title = {{CoffeeStrainer} --- Statically Checking Structural Constraints in {J}ava},
	Year = 1998}

@inproceedings{crary:capabilities,
	Author = {Karl Crary and David Walker and Greg Morrisett},
	Booktitle = {1999 Symposium on Principles of Programming Languages},
	Title = {Typed Memory Management in a Calculus of Capabilities},
	Year = 1999}

@inproceedings{jac99,
	Address = {Lisbon, Portugal},
	Author = {G\"unter Kniesel and Dirk Theisen},
	Booktitle = iwaoos,
	Month = {June},
	Series = {At ECOOP'99},
	Title = {{JAC} -- {J}ava with Transitive Readonly Access Control},
	Year = 1999}

@mastersthesis{Buc00,
	Address = {Queen's Gate, London},
	Author = {Alex Buckley},
	Month = {June},
	School = {Department of Computer Science, Imperial College of Science, Technology, and Medicine},
	Title = {Ownership Types Restrict Aliasing},
	Year = 2000}

@inproceedings{bokowski:implementing,
	Address = {Lisbon, Portugal},
	Author = {Boris Bokowski},
	Booktitle = iwaoos,
	Month = {June},
	Series = {At ECOOP'99},
	Title = {Implementing "{O}bject ownership to order"},
	Year = 1999}

@inproceedings{boyland:iwaoos,
	Address = {Lisbon, Portugal},
	Author = {John Boyland},
	Booktitle = iwaoos,
	Month = {June},
	Series = {At ECOOP'99},
	Title = {Alias Killing: Unique Variables Without Destructive Reads},
	Year = 1999}

@article{Boy01,
	Author = {John Boyland},
	Journal = {Software --- Practice and Experience},
	Title = {Alias Burying: Unique Variables without Destructive Reads},
	Year = 2001}

@inproceedings{clad:iwaoos,
	Address = {Lisbon, Portugal},
	Author = {David Clarke and James Noble and John Potter},
	Booktitle = iwaoos,
	Month = {June},
	Series = {At ECOOP'99},
	Title = {Overcoming Representation Exposure},
	Year = 1999}

@TechReport{MPH99a,
 author =	 {M{\"u}ller, P. and Poetzsch-Heffter, A.},
 title =	 {Universes: A Type System for Controlling Representation Exposure},
 year =	 {1999},
 institution = {Fernuniversit\"at Hagen}
}

@inproceedings{BV99,
	Author = {Boris Bokowski and Jan Vitek},
	Booktitle = {OOPSLA},
	Title = {Confined {T}ypes},
	Year = {1999}}

@inproceedings{simonscononicalforms,
	Author = {Anthony J. H. Simons},
	Booktitle = oopsla,
	Title = {Borrow, Copy or Steal? {L}oans and Larceny in the {O}rthodox {C}anonical {F}orm},
	Year = {1998}}

@article{gordon:hankin:lassen,
	Author = {A. D. Gordon and P. D. Hankin and S. B. Lassen},
	Journal = {Journal of Functional Programming},
	Month = {July},
	Number = 4,
	Pages = {373-426},
	Title = {Compilation and Equivalence of Imperative Objects},
	Volume = 9,
	Year = 1999}

@techreport{PierceTurner92b,
	Author = {Benjamin C. Pierce and David N. Turner},
	Institution = {University of Edinburgh, LFCS},
	Month = apr,
	Note = {Also available as INRIA-Rocquencourt Rapport de Recherche No. 1899},
	Number = {ECS-LFCS-93-256},
	Title = {Statically Typed Friendly Functions via Partially Abstract Types},
	Type = {Technical Report},
	Year = {1993}}

@book{catch22,
	Author = {Joseph Heller},
	Publisher = {Vintage},
	Title = {Catch 22},
	Year = {1961}}

@mastersthesis{theisen-thesis,
	Address = {R\"omerst. 164, D-53117 Bonn},
	Author = {Dirk Theisen},
	School = {Institut f\"ur Informatik III},
	Title = {Enhancing Encapsulation in {OOP}: A Practical Approach},
	Year = {Universit\"at Bonn}}

@book{booch,
	Author = {Grady Booch},
	Publisher = {Benjamin-Cummings},
	Title = {Object-oriented Design with Applications},
	Year = 1991}

@book{mitchell-tome,
	Author = {John C. Mitchell},
	Publisher = {MIT Press},
	Series = {Foundations of Computing Series},
	Title = {Foundations for Programming Languages},
	Year = 1996}

@book{reynolds-book,
	Author = {John C. Reynolds},
	Publisher = {Cambridge University Press},
	Title = {Theories of Programming Languages},
	Year = 1998}

@inbook{cardelli-types,
	Author = {Luca Cardelli},
	Chapter = 103,
	Pages = {2208-2236},
	Publisher = {CRC Press},
	Series = {The Computer Science and Engineering Handbook. Allen B. Tucker (Ed.)},
	Title = {Type Systems},
	Year = 1997}

@book{program-analysis,
	Author = {Flemming Nielson and Hanne Riis Nielson and Chris Hankin},
	Publisher = {Springer},
	Title = {Principles of Program Analysis},
	Year = 1999}

@techreport{recursion-is-effect,
	Author = {Daniel P. Friedman and Amr Sabry},
	Institution = {Computer Science Department, Indiana University},
	Month = {December},
	Number = {TR546},
	Title = {Recursion is a Computational Effect},
	Year = 2000}

@article{wright:felleisen,
	Author = {A. K. Wright and M. Felleisen},
	Journal = {Information and Computation},
	Number = 1,
	Pages = {38-94},
	Title = {A syntactic approach to type soundness},
	Volume = 115,
	Year = 1994}

@techreport{gunter:remy,
	Address = {600 Mountain Ave, Murray Hill, NJ 07974-2070},
	Author = {Carl A.~Gunter and Didier R{\'e}my},
	Institution = {AT\&T Bell Laboratories},
	Number = {11261-921230-43TM},
	Title = {A proof-theoretic assessment of runtime type errors},
	Type = {Research Report},
	Year = 1993}

@article{milner78,
	Author = {Robin Milner},
	Journal = {Journal of Compter and System Science},
	Pages = {348-375},
	Title = {A theory of type polymorphism in programming languages},
	Volume = 17,
	Year = 1978}

@book{hindley:seldin,
	Author = {J. Roger Hindley and Jonathan P. Seldin},
	Publisher = {Cambridge University Press},
	Title = {Introduction to Combinators and $\lambda$-Calculus},
	Volume = 1,
	Year = 1986}

@article{lampson73,
	Author = {B. W. Lampson},
	Journal = {Communications of the Association for Computing Machinery},
	Month = {October},
	Number = 10,
	Pages = {613-615},
	Title = {A note on the confinement problem},
	Volume = 16,
	Year = 1973}

@article{dolly,
	Author = {K. H. S. Campbell and J McWhir and W. A. Ritchie and I. Wilmut},
	Journal = {Nature},
	Pages = {64-66},
	Title = {Sheep cloned by nuclear transfer from a cultured cell line},
	Volume = 380,
	Year = 1996}

@inproceedings{noble-tools,
	Address = {Melbourne, Australia},
	Author = {James Noble and David Clarke and John Potter},
	Booktitle = {TOOLS Pacific},
	Month = {November},
	Title = {Object ownership for dynamic alias protection},
	Year = 1999}

@article{amadio-cardelli,
	Author = {Roberto M. Amadio and Luca Cardelli},
	Journal = {ACM Transactions of Programming Languages and Systems},
	Number = 4,
	Pages = {575-631},
	Title = {Subtyping Recursive Types},
	Volume = 15,
	Year = 1993}

@inproceedings{pierce-recursive,
	Author = {Vladimir Gapeyev and Michael Levin and Benjamin Pierce},
	Booktitle = {Proceedings of the International Conference on Functional Programming (ICFP)},
	Title = {Recursive Subtyping Revealed},
	Year = {2000}}

@inproceedings{hill:visual,
	Address = {Sydney, Australia},
	Author = {Trent Hill and John Potter and James Noble},
	Booktitle = {Proceedings of Software Visualisation Workshop, SofVis'99},
	Month = {December 3-4},
	Title = {Visualising implicit structure in object graphs},
	Year = 1999}

@article{cardelli-multiple,
	Author = {Luca Cardelli},
	Journal = {Information and Computation},
	Pages = {138-164},
	Title = {A semantics of multiple inheritance},
	Volume = 78,
	Year = 1988}

@inproceedings{cardelli-multiple-conf,
	Address = {Sophia-Antipolis, France},
	Author = {Luca Cardelli},
	Booktitle = {Semantics of Data Types},
	Month = {June},
	Pages = {51-67},
	Series = {LNCS},
	Title = {A semantics of multiple inheritance},
	Volume = 173,
	Year = 1984}

@book{castagna-book,
	Author = {Giuseppe Castagna},
	Publisher = {Birkh\"auser},
	Series = {Progress in Theoretical Computer Science},
	Title = {Object-Oriented Programming: A Unified Foundation},
	Year = 1997}

@book{noble-book,
	Editor = {James Noble and Antero Taivalsaari and Ivan Moore},
	Publisher = {Springer-Verlag},
	Title = {Prototype-based Programming: Concepts, Languages, and Applications},
	Year = 1999}

@article{self,
	Author = {David Ungar and Randall B. Smith},
	Journal = {Lisp and Symbolic Computation},
	Number = 3,
	Pages = {187-205},
	Title = {Self: {T}he power of simplicity},
	Volume = 4,
	Year = 1991}

@techreport{kevo,
	Author = {Antero Taivalsaari},
	Institution = {University of Victoria},
	Number = {Report LACIR 92-02},
	Title = {Kevo, a prototype-based object-oriented programming lnaguage based on concatenation and module operations},
	Year = 1992}

@article{Sny86,
	Author = {Alan Snyder},
	Journal = {Proceedings of OOPSLA '86, ACM SIGPLAN Notices},
	Number = 11,
	Pages = {38-45},
	Title = {Encapsulation and inheritance in object-oriented programming languages},
	Volume = 21,
	Year = 1986}

@book{adams,
	Author = {Douglas Adams},
	Publisher = {Pan Books},
	Title = {The Hitchhikers Guide to the Galaxy},
	Year = 1985}

@book{communist,
	Author = {Karl Marx and Fredrick Engels},
	Publisher = {Mass Market},
	Title = {The Communist Manifesto},
	Year = 1998}

@book{bird-wadler,
	Author = {Richard Bird and Phil Wadler},
	Publisher = {Prentice Hall},
	Title = {Introduction to Functional Programming},
	Year = 1988}

@inproceedings{IgarashiPierceWadler99,
	Author = {Atsushi Igarashi and Benjamin Pierce and Philip Wadler},
	Booktitle = oopsla,
	Month = oct,
	Title = {Featherweight {J}ava: {A} Minimal Core Calculus for {J}ava and {GJ}},
	Year = 1999}

@inproceedings{zdancewic+:principals,
	Address = {Paris, France},
	Author = {Steve Zdancewic and Dan Grossman and Greg Morrisett},
	Booktitle = {Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming},
	Month = {September},
	Title = {Principals in Programming Languages: A Syntactic Proof Technique},
	Year = 1999}

@inproceedings{zendra,
	Address = {Lisbon, Portugal},
	Author = {Olivier Zendra and Dominique Colnet},
	Booktitle = iwaoos,
	Month = {June},
	Series = {At ECOOP'99},
	Title = {Towards safer aliasing with the {E}iffel language},
	Year = 1999}

@book{SPJ,
	Author = {Simon L. {Peyton Jones}},
	Publisher = {Prentice Hall},
	Title = {The Implementation of Functional Programming Languages},
	Year = 1987}

@inproceedings{riecke:sideeffects,
	Author = {Jon G. Riecke and Ramesh Viswanathan},
	Booktitle = {22th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {Isolating side effects in sequential languages},
	Year = 1995}

@article{state-in-haskell,
	Author = {John Launchbury and Simon L. {Peyton Jones}},
	Journal = {Lisp and Symbolic Computation},
	Month = {dec},
	Number = 4,
	Pages = {293-341},
	Title = {State in {H}askell},
	Volume = 8,
	Year = 1995}

@inproceedings{bryce,
	Author = {Ciar{\'a}n Bryce and Chrislain Razafimahefa},
	Booktitle = oopsla,
	Month = oct,
	Title = {An Approach to Safe Object Sharing},
	Year = 1999}

@inproceedings{clad:fmp,
	Address = {Canberra, Australia},
	Author = {John Potter and David Clarke and James Noble},
	Booktitle = {Formal Methods Pacific '98},
	Month = {September},
	Title = {A Mode System for Flexible Alias Protection},
	Year = 1998}

@inproceedings{clad:fool,
	Address = {London},
	Author = {David Clarke},
	Booktitle = {Foundations of Object-oriented Programming (FOOL8)},
	Month = {January},
	Title = {An Object Calculus with Ownership and Containment},
	Year = 2001}

@book{uml,
	Author = {Grady Booch and James Rumbaugh and Ivar Jacobson},
	Publisher = {Addison-Wesley},
	Series = {Object Technology Series},
	Title = {The Unified Modeling Language User Guide},
	Year = 1999}

@book{corba,
	Author = {Alan Pope},
	Publisher = {Addison Wesley},
	Title = {The {CORBA} Reference Guide},
	Year = 1998}

@book{COM,
	Author = {Dale Rogerson},
	Publisher = {Microsoft Press},
	Title = {Inside {COM}},
	Year = 1996}

@inproceedings{gay-fast-escape,
	Author = {David Gay and Bjarne Steensgaard},
	Booktitle = {9th International Conference on Compiler Construction (CC'2000)},
	Note = {Published as Springer-Verlag LNCS 1781},
	Title = {Fast Escape Analysis and Stack Allocation for Object-Based Programs},
	Year = 2000}

@inproceedings{blanchet-escape,
	Author = {Bruno Blanchet},
	Booktitle = oopsla,
	Month = oct,
	Title = {Escape Analysis for Object-oriented Languages: Application to {{J}ava}},
	Year = 1999}

@inproceedings{diwan,
	Author = {Amer Diwan and Kathryn S. McKinley and J. Eliot B. Moss},
	Booktitle = {Proceedigns of the {ACM SIGPLAN'98} {C}onference on {P}rogramming {L}anguage {D}esign and {I}mplementation},
	Month = jun,
	Title = {Type-Based Alias Analysis},
	Year = 1998}

@inproceedings{genius,
	Author = {Daniela Genius and Martin Trapp and Wolf Zimmermann},
	Booktitle = {Types in Compilation '98},
	Note = {LNCS 1473},
	Publisher = {Springer-Verlag},
	Title = {An Approach to improve Locality using Sandwich Types},
	Year = 1998}

@inproceedings{hendren-design-analyse,
	Address = {Oakland, California},
	Author = {Laurie J. Hendren and Guang R. Gao},
	Booktitle = {1992 International Conference on Computer Languages},
	Month = {April},
	Pages = {242-251},
	Title = {Designing Programming Languages for Analyzability: A Fresh Look at Pointer Data Structures},
	Year = 1992}

@mastersthesis{yates,
	Author = {Bennett Norton Yates},
	Month = {August},
	School = {Department of Computer and Information Science and the Graduate School of the University of Oregon},
	Title = {A Type-and-Effect System for Encapsulating Memory in {J}ava},
	Year = 1999}

@mastersthesis{regionsinjava,
	Author = {M. V. Christiansen and P. Velschrow},
	Month = {May},
	School = {Department of Computer Science (DIKU), University of Copenhagen},
	Title = {Region-based memory management in {J}ava},
	Year = 1998}

@inproceedings{Wolczko1987,
	Author = {Mario Wolczko},
	Crossref = {ecoop87},
	Pages = {108--120},
	Title = {Semantics of {Smalltalk-80}}}

@proceedings{ECOOP87,
	Address = {Paris, France},
	Booktitle = {ECOOP'87 European Conference on Object-Oriented Programming},
	Crossrefonly = 1,
	Editor = {Jean B{\'e}zivin and Jean-Marie Hullot and Pierre Cointe and Henry Lieberman},
	Isbn = {ISBN 3-540-18353-1},
	Month = {15--17~} # jun,
	Publisher = {Springer},
	Series = lncs,
	Title = {ECOOP'87 European Conference on Object-Oriented Programming},
	Volume = 276,
	Year = 1987}

@inproceedings{CookHC90,
	Author = {William R. Cook and Walter L. Hill and Peter S. Canning},
	Crossref = {popl17},
	Pages = {125--135},
	Title = {Inheritance Is Not Subtyping}}

@proceedings{POPL17,
	Address = {San Francisco, California},
	Booktitle = {Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages},
	C-Organization = {ACM},
	Crossrefonly = 1,
	Key = {ACM},
	Month = jan,
	Title = {Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages},
	Year = 1990}

@book{palsberg-book,
	Author = {Jens Palsberg and Michael I. Schwartzbach},
	Publisher = {Wiley},
	Title = {Object-Oriented Type Systems},
	Year = 1994}

@book{gunter:mitchell,
	Editor = {Carl A. Gunter and John C. Mitchell},
	Publisher = {MIT Press},
	Series = {Foundations of Computing},
	Title = {Theoretical Aspects of Object-Oriented Programming},
	Year = 1994}

@inproceedings{DrossopoulouE1997,
	Author = {Sophia Drossopoulou and Susan Eisenbach},
	Crossref = {ecoop97},
	Pages = {389--418},
	Source = {http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/ecoop/ecoop.bib},
	Title = {{J}ava is Type Safe---Probably}}

@proceedings{ECOOP97,
	Address = {Jyv\"askyl\"a, Finland},
	Booktitle = {ECOOP'97---Object-Oriented Programming, 11th European Conference},
	Crossrefonly = 1,
	Editor = {Mehmet Aksit and Satoshi Matsuoka},
	Isbn = {ISBN 3-540-63089-9},
	Month = {9--13~} # jun,
	Publisher = {Springer},
	Series = lncs,
	Source = {http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/ecoop/ecoop.bib},
	Title = {ECOOP'97---Object-Oriented Programming, 11th European Conference},
	Volume = 1241,
	Year = 1997}

@inproceedings{NipkowO1998,
	Author = {Tobias Nipkow and David von Oheimb},
	Crossref = {popl25},
	Pages = {161--170},
	Source = {http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/popl/popl.bib},
	Title = {{{J}ava$_{\mathit{light}}$} is Type-Safe---Definitely}}

@proceedings{POPL25,
	Address = {San Diego, California},
	Booktitle = {Conference Record of POPL~'98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
	C-Organization = {ACM},
	Crossrefonly = 1,
	Key = {ACM},
	Month = {19--21} # jan,
	Source = {http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/popl/popl.bib},
	Title = {Conference Record of POPL~'98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
	Year = 1998}

@article{bruce:jfp,
	Author = {Kim B. Bruce},
	Journal = {Journal of Functional Programming},
	Month = {April},
	Number = 2,
	Pages = {127-206},
	Title = {A paradigmatic object-oriented programming language: Design, static typing and semantics},
	Volume = 4,
	Year = 1994}

@article{pierce:jfp,
	Author = {Benjamin C. Pierce and David N. Turner},
	Journal = {Journal of Functional Programming},
	Month = {April},
	Number = 2,
	Pages = {207-247},
	Title = {Simple type-theoretic foundations for object-oriented programming},
	Volume = 4,
	Year = 1994}

@article{abadi:jfp,
	Author = {Mart{\'i}n Abadi},
	Journal = {Journal of Functional Programming},
	Month = {April},
	Number = 2,
	Pages = {249-283},
	Title = {Baby {M}odula-3 and a theory of objects},
	Volume = 4,
	Year = 1994}

@article{pierce:hofmann:jfp,
	Author = {Martin Hofmann and Benjamin C. Pierce},
	Journal = {Journal of Functional Programming},
	Month = {October},
	Number = 4,
	Pages = {593-635},
	Title = {A unified type-theoretic framework for objects},
	Volume = 5,
	Year = 1995}

@inproceedings{cook:eiffel-bug,
	Author = {W. R. Cook},
	Booktitle = {European Conference on Object-Oriented Programming},
	Pages = {52-72},
	Title = {A Proposal for making {E}iffel type-safe},
	Year = 1989}

@article{BruceCCESTLP1995,
	Author = {Kim B. Bruce and Luca Cardelli and Giuseppe Castagna and Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Gary T. Leavens and Benjamin C. Pierce},
	Journal = tapos,
	Number = 3,
	Pages = {221--242},
	Source = {http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/tapos/tapos.bib},
	Title = {On Binary Methods},
	Volume = 1,
	Year = 1995}

@article{AbadiC96,
	Abstract = {We introduce simple object calculi that support method
override and object subsumption.  We give an untyped calculus, typing
rules, and equational rules.  We illustrate the expressiveness of our
calculi and the pitfalls that we avoid},
	Author = {Mart{\'i}n Abadi and Luca Cardelli},
	Journal = iandcomp,
	Month = {15~} # mar,
	Number = 2,
	Pages = {78--102},
	Preliminary = {TACS::AbadiC1994},
	References = {JFP::Abadi1994, LICS::AbadiC1994, TOPLAS::AbadiCPP1991, POPL::AmadioC1991, JFP::Bruce1994, IC::Cardelli1988, POPL::Kamin1988, POPL::Mitchell1990, LICS::MitchellHF1993, LICS::Palsberg1994, JFP::PierceT1994, LICS::Wand1987},
	Refkey = {C1848, PN2540},
	Source = {http://theory.lcs.mit.edu/~iandc/iandc.bib},
	Title = {A Theory of Primitive Objects: Untyped and First-Order Systems},
	Volume = 125,
	Year = 1996}

@article{smith:state,
	Author = {Jonathan Eifrig and Scott Smith and Valery Trifonov and Amy Zwarico},
	Journal = {Lisp and Symbolic Computation},
	Number = 4,
	Pages = {357-397},
	Title = {An Interpretation of Typed {OOP} in a Language with State},
	Volume = 8,
	Year = 1995}

@inproceedings{fisher:moby,
	Author = {Kathleen Fisher and John Reppy},
	Booktitle = ecoop,
	Month = jun,
	Title = {Extending {M}oby with Inheritance-based subtyping},
	Year = 2000}

@proceedings{soap99,
	Address = {Lisbon, Portugal},
	Editor = {Hans H{\"u}ttel and Josva Kleist and Uwe Nestmann and Ant{\'o}nio Ravara},
	Month = {May},
	Note = {BRICS-NS-99-2},
	Title = {Workshop on Semantics of Objects As Processes (SOAP '99)},
	Year = 1999}

@proceedings{soap98,
	Address = {Aalborg, Denmark},
	Editor = {Hans H{\"u}ttel and Uwe Nestmann},
	Month = {July},
	Note = {BRICS-NS-98-5},
	Title = {Workshop on Semantics of Objects As Processes (SOAP '98)},
	Year = 1998}

@inproceedings{bono:mixins,
	Author = {Viviana Bono and Amit Patel and Vitaly Shmatikov},
	Booktitle = ecoop,
	Month = jun,
	Title = {A Core Calculus of Classes and Mixins},
	Year = 1999}

@inproceedings{bono:classes,
	Author = {Viviana Bono and Amit Patel and Vitaly Shmatikov and John C. Mitchell},
	Booktitle = {15th Conf. Mathematical Foundations of Programming Semantics},
	Title = {A Core Calculus of Classes and Objects},
	Year = 1999}

@inproceedings{IgarashiPierce99:FJI,
	Author = {Atsushi Igarashi and Benjamin C. Pierce},
	Booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
	Note = {Also in informal proceedings of the Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL). To appear in Information and Computation},
	Title = {On Inner Classes},
	Year = 2000}

@article{FisherMitchel96,
	Author = {Fisher, Kathleen and Mitchell, John},
	Journal = {Theory and Practice of Object Systems},
	Key = {Fisher and Mitchell},
	Number = {3},
	Pages = {189-220},
	Title = {The development of type systems for object-oriented languages},
	Volume = {1},
	Year = {1996}}

@article{FisherMitchell98TAPOS,
	Author = {Kathleen Fisher and John C. Mitchell},
	Journal = {Theory and Practice of Object Systems},
	Number = {1},
	Pages = {3--25},
	Title = {On the Relationship between Classes, Objects, and Data Abstraction},
	Volume = {4},
	Year = {1998}}

@inproceedings{BonoFisher98ECOOP,
	Author = {Viviana Bono and Kathleen Fisher},
	Booktitle = ECOOP,
	Title = {An Imperative First-Order Calculus with Object Extension},
	Year = {1998}}

@phdthesis{fisher-thesis,
	Author = {Kathleen Fisher},
	School = {Department of Computer Science, Stanford University},
	Title = {Type Systems for Object-Oriented Programming Languages},
	Year = 1996}

@article{Mitchell93,
	Author = {K. Fisher and F. Honsell and J. C. Mitchell},
	Journal = {Nordic J. Computing ({\rm formerly} BIT)},
	Note = {Preliminary version appeared in {\it Proc. IEEE Symp. on Logic in Computer Science,} 1993, 26--38},
	Pages = {3--37},
	Title = {A lambda calculus of objects and method specialization},
	Volume = {1},
	Year = {1994}}

@inproceedings{liquori,
	Address = {Singapore},
	Author = {L. Liquori and G. Castagna},
	Booktitle = {Proc. of ASIAN '96, Int. Conf. on Concurrency and Parallelism, Programming, Networking, and Security},
	Publisher = {Springer-Verlag},
	Series = {LNCS},
	Title = {A Typed Lambda Calculus of Objects},
	Volume = 1212,
	Year = 1996}

@inproceedings{simons-eiffel,
	Author = {A. J. H. Simons},
	Booktitle = {18th Conference on Technology of Object-Oriented Languages and Systems},
	Editor = {C. Miggins and R. Duke and B. Meyer},
	Month = {Melbourne},
	Title = {Rationalising {E}iffel's Type System},
	Year = 1995}

@inproceedings{Canning&89,
	Author = {Peter Canning and William Cook and Walter Hill and Walter Olthoff and John Mitchell},
	Booktitle = {Fourth International Conference on Functional Programming Languages and Computer Architecture},
	Month = sep,
	Pages = {273--280},
	Title = {F-Bounded Quantification for Object-Oriented Programming},
	Year = {1989}}

@inproceedings{crary-harper-puri,
	Author = {Karl Crary and Robert Harper and Sidd Puri},
	Booktitle = {Programming Design and Implementation},
	Title = {What is a Recursive Module?},
	Year = 1999}

@misc{esc,
	Howpublished = {On the web \texttt{http://www.research.compaq.com/SRC/esc/}},
	Key = {ESC},
	Title = {Extended {S}tatic {C}hecking for {J}ava home page, {C}ompaq {S}ystems {R}esearch {C}enter}}

@inproceedings{Remy!classes-to-objects!esop,
	Author = {Didier R{\'e}my},
	Booktitle = {European Symposium On Programming},
	Month = {March},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {From Classes to Objects via Subtyping},
	Volume = 1381,
	Year = 1998}

@article{euclid,
	Author = {Butler Lamspon~et.~al},
	Journal = {SIGPLAN Notices},
	Number = 2,
	Title = {Report on the programming language {E}uclid},
	Volume = 12,
	Year = 1977}

@inproceedings{wills,
	Author = {Alan Wills},
	Booktitle = ecoop,
	Title = {Reasoning about aliasing},
	Year = 1993}

@inproceedings{groups,
	Author = {Yuji Ichisugi and Akinori Yonezawa},
	Booktitle = {OOPSLA/ECOOP '90 Workshop on Garbage Collection in Object-Oriented Systems},
	Month = {October},
	Title = {Distributed garbage collection using group references},
	Year = 1990}

@article{zones,
	Author = {D. T. Ross},
	Journal = {Communications of the ACM},
	Number = 8,
	Title = {The {AED} free storage package},
	Volume = 10,
	Year = 1967}

@article{arenas,
	Author = {David R. Hanson},
	Journal = {Software Practice and Experience},
	Month = {January},
	Number = 1,
	Pages = {5-12},
	Title = {Fast allocation and deallocation of memory based on object lifetimes},
	Volume = 20,
	Year = 1990}

@inproceedings{abadi:leino:logic,
	Author = {Mart{\'i}n Abadi and K. Rustan M. Leino},
	Booktitle = {TAPSOFT '97. Theory and Practice of Software Development},
	Month = {April},
	Pages = {682-696},
	Title = {A logic of object-oriented programs},
	Year = 1997}

@inproceedings{REYNOLDS00,
	Author = {Reynolds, John C.},
	Booksubtitle = {Proceedings of the 1999 Oxford--Microsoft Symposium in Honour of Sir Tony Hoare},
	Booktitle = {Millennial Perspectives in Computer Science},
	Publisher = {Palgrave},
	Title = {Intuitionistic Reasoning about Shared Mutable Data Structure},
	Year = 2000}

@inproceedings{bornat,
	Author = {Richard Bornat},
	Booktitle = {Mathematics of Program Construction},
	Title = {Proving pointer programs in {H}oare logic},
	Year = 2000}

@inproceedings{calcagno,
	Author = {Cristiano Calcagno and Samin Ishtiaq and Peter W. O'Hearn},
	Booktitle = {Principles and Practice of Declarative Programming},
	Title = {Semantic Analysis of Pointer Aliasing, Allocation and Disposal in {H}oare logic},
	Year = 2000}

@inproceedings{calcagno:popl2001,
	Author = {Cristiano Calcagno},
	Booktitle = {28th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {Stratified Operational Semantics for Safety and Correctness of Region Calculus},
	Year = 2001}

@inproceedings{wang:appel:popl2001,
	Author = {Daniel C. Wang and Andrew W. Appel},
	Booktitle = {28th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {Type-Preserving Garbage Collectors},
	Year = 2001}

@book{RTJ,
	Author = {Greg Bollella and James Gosling and Benjamin Brosgol and Peter Dibble and Steve Furr and Mark Turnbull},
	Publisher = {Addison-Wesley},
	Title = {The Real-Time Specification for {J}ava},
	Year = 2000}

@inproceedings{SWM00,
	Address = {Berlin, Germany},
	Author = {Frederick Smith and David Walker and Greg Morrisett},
	Booktitle = {European Symposium on Programming},
	Month = {March},
	Title = {Alias Types},
	Year = 2000,
        journal = "Lecture Notes in Computer Science",
        volume = "1782"
}

@inproceedings{WM00,
	Address = {Montreal, Canada},
	Author = {David Walker and Greg Morrisett},
	Booktitle = {Workshop on Types in Compilation},
	Month = {September},
	Note = {Avaliable as Carnegie-Mellon University Technical Report CMU-CS-00-161},
	Title = {Alias Types for Recursive Data Structures},
	Year = 2000}

@inproceedings{cardelli:ambientgroups,
	Author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
	Booktitle = {Theoretical Computer Science; Exploring New Frontiers in Theoretical Informatics. International Conference IFIP TCS 2000},
	Pages = {333-347},
	Series = {LNCS},
	Title = {Ambient Groups and Mobility Types},
	Volume = 1872,
	Year = 2000}

@inproceedings{cardelli:secrecy,
	Author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
	Booktitle = {CONCUR 2000 -- Concurrency Theory. 11th International Conference},
	Month = {August},
	Pages = {365-379},
	Series = {LNCS},
	Title = {Secrecy and Group Creation},
	Volume = 1877,
	Year = 2000}

@inproceedings{klarlund:graphtypes,
	Author = {Nils Klarlund and Michael I. Schwartzbach},
	Booktitle = {20th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {Graph Types},
	Year = 1993}

@inproceedings{hummel:lang,
	Author = {Joseph Hummel and Laurie J. Hendren and Alexandru Nicolau},
	Booktitle = {8th International Parallel Processing Symposium},
	Month = {April},
	Title = {A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures},
	Year = 1994}

@article{talpin:jouvelot,
	Author = {Jean-Pierre Talpin and Pierre Jouvelot},
	Journal = {Journal of Functional Programming},
	Title = {Polymorphic type, region and effect inference},
	Year = 1992}

@inproceedings{btv96,
	Author = {Lars Birkedal and Mads Tofte and Magnus Vejlstrup},
	Booktitle = {Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
	Month = {January},
	Pages = {171--183},
	Publisher = {ACM Press},
	Title = {From Region Inference to von {Neumann} Machines via Region Representation Inference},
	Year = {1996}}

@inproceedings{total94,
	Author = {Mads Tofte and Jean-Pierre Talpin},
	Booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
	Month = {January},
	Pages = {188--201},
	Publisher = {ACM Press},
	Title = {Implementing the Call-By-Value Lambda-Calculus using a Stack of Regions},
	Year = {1994}}

@article{tofbir98,
	Author = {Mads Tofte and Lars Birkedal},
	Journal = {Transactions on Programming Languages and Systems (TOPLAS)},
	Month = {July},
	Number = {4},
	Pages = {734-767},
	Title = {A Region Inference Algorithm},
	Volume = {20},
	Year = {1998}}

@inproceedings{BanerjeeHR99,
	Author = {Anindya Banerjee and Nevin Heintze and Jon G. Riecke},
	Booktitle = {Proceedings, Fourteenth Annual IEEE Symposium on Logic in Computer Science},
	Pages = {88--97},
	Title = {Region analysis and the polymorphic lambda calculus},
	Year = 1999}

@inproceedings{aiken:better,
	Address = {San Diego, California},
	Author = {Alexander Aiken and Manuel F{\"a}hndrich and Ralph Levien},
	Booktitle = {SIGPLAN Conference on Programming Language Design and Implementation},
	Month = {June},
	Pages = {174-185},
	Title = {Better Static Memory Management: Improving Region-Based Analysis of Higher-order Languages},
	Year = 1995}

@inproceedings{ohearn:popl2001,
	Author = {Samin Ishtiaq and Peter W. O'Hearn},
	Booktitle = {28th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {{BI} as an assertion language for mutable Data Structures},
	Year = 2001}

@unpublished{ohearn:notes,
	Author = {Peter O'Hearn},
	Note = {Notes of January 2002},
	Title = {Notes on Separation Logic for Shared-variable Concurrency}}

@inproceedings{jacobs,
	Author = {Ulrich Hensel and Marieke Huisman and Bart Jacobs and Hendrik Tews},
	Booktitle = {European Symposium on Programming},
	Number = 1381,
	Pages = {105-121},
	Series = {LNCS},
	Title = {Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools},
	Year = 1998}

@inproceedings{morrisett:firstclass,
	Author = {Greg Morrisett},
	Booktitle = {ACM SIGPLAN Workshop on State in Programming Languages},
	Month = {June},
	Title = {Refining First-Class Stores},
	Year = 1993}

@inproceedings{noble-encaps,
	Address = {Mont St-Michel, La Belle France},
	Author = {James Noble},
	Booktitle = {TOOLS Europe 33},
	Month = {June},
	Pages = {431-442},
	Title = {Iterators and {E}ncapsulation},
	Year = 2000}

@inproceedings{PittsAM:obsphown,
	Author = {A.~M.~Pitts and I.~D.~B.~Stark},
	Booktitle = {Mathematical Foundations of Computer Science, Proc.\ 18th Int.\ Symp., {Gda{\'n}sk}, 1993},
	Pages = {122--141},
	Publisher = {Springer-Verlag, Berlin},
	Series = {Lecture Notes in Computer Science},
	Title = {Observable Properties of Higher Order Functions That Dynamically Create Local Names, or: What's new?},
	Volume = 711,
	Year = 1993}

@inproceedings{PittsAM:newaas,
	Author = {M.~J.~Gabbay and A.~M.~Pitts},
	Booktitle = {14th Annual Symposium on Logic in Computer Science},
	Pages = {214--224},
	Publisher = {IEEE Computer Society Press, Washington},
	Title = {A New Approach to Abstract Syntax Involving Binders},
	Year = 1999}

@inproceedings{gordon:pi-regions,
	Address = {Bratislava, Slovak Republic},
	Author = {Silvano Dal Zilio and Andrew D. Gordon},
	Booktitle = {25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000},
	Month = {August 28--September 1},
	Title = {Region analyis and a $\pi$-calculus with groups},
	Year = 2000}

@inproceedings{cardelli:tlca,
	Author = {Luca Cardelli and Andrew D. Gordon},
	Booktitle = {Typed Lambda Calculus with Applications (TLCA)},
	Month = sep,
	Title = {Logical Properties of Name Restriction},
	Year = 2001}

@inproceedings{gordon:concurrent,
	Author = {Andrew D. Gordon and Paul D. Hankin},
	Booktitle = {HLCL'98},
	Series = {Elsevier ENTCS},
	Title = {A Concurrent Object Calculus: Reduction and Typing},
	Year = 1998}

@book{lea,
	Author = {Doug Lea},
	Publisher = {Addision-Wesley},
	Series = {{J}ava Series},
	Title = {Concurrent-Programming in {J}ava: Design Principles and Patterns},
	Year = 1998}

@inproceedings{gordon:nominal,
	Address = {Bertinoro},
	Author = {Andrew D. Gordon},
	Booktitle = {International Summer School on Foundations of Security Analysis and Design (FOSAD 2000)},
	Month = {September},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Notes on nominal calculi for security and mobility},
	Year = 2000}

@techreport{Leavens-Antropova99,
	Address = {Ames, Iowa, 50011},
	Author = {Gary T. Leavens and Olga Antropova},
	Institution = {Department of Computer Science, Iowa State University},
	Month = Feb,
	Number = {98-08a},
	Title = {{ACL} --- Eliminating Parameter Aliasing with Dynamic Dispatch},
	Url = {ftp://ftp.cs.iastate.edu/pub/techreports/TR98-08/TR.ps.gz},
	Year = 1999}

@article{obliq,
	Author = {L. Cardelli},
	Journal = {Computing Systems},
	Month = jan,
	Number = {1},
	Pages = {27--59},
	Title = {Obliq: A Language with Distributed Scope},
	Volume = {8},
	Year = {1995}}

@book{javabeans,
	Author = {Vlada Matena and Beth Stearns},
	Month = {December},
	Publisher = aw,
	Title = {Applying Enterprise {J}avaBeans: Component-Based Development for the J2EE Platform},
	Year = 2000}

@book{simula,
	Author = {G. M. Birtwistle and O. J. Dahl and B. Myhrhaug and K. Nygaard},
	Publisher = {Studentlitteratur},
	Title = {Simula Begin},
	Year = {1979}}

@incollection{miranda,
	Address = {New York, NY},
	Author = {David A. Turner},
	Booktitle = {Proceedings IFIP International Conference on Functional Programming Languages and Computer Architectures, Nancy, France},
	Editor = {J. Jouannaud},
	Key = {Turner},
	Month = sep,
	Pages = {1--16},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Miranda: {A} non-strict functional language with polymorphic types},
	Volume = {201},
	Year = {1985}}

@phdthesis{Mueller01,
	Author = {M{\"u}ller, P.},
	Note = {Appears as LNCS 2262},
	School = {FernUniversit\"at Hagen},
	Title = {Modular Specification and Verification of Object-Oriented Programs},
	Year = 2001}

@inproceedings{heintze98slam,
	Address = {New York, NY, USA},
	Author = {Nevin Heintze and Jon G. Riecke},
	Booktitle = {Conference record of {POPL} '98: the 25th {ACM} {SIGPLAN-{SIGACT}} Symposium on Principles of Programming Languages, San Diego, California, 19--21 January 1998},
	Editor = {ACM},
	Isbn = {0-89791-979-3},
	Pages = {365--377},
	Publisher = {ACM Press},
	Title = {The {SLam} calculus: programming with secrecy and integrity},
	Url = {citeseer.nj.nec.com/heintze98slam.html},
	Year = {1998}}

@inproceedings{BST00,
	Author = {David F. Bacon and Robert E. Strom and Ashis Tarafdar},
	Booktitle = oopsla,
	Pages = {382-400},
	Title = {Guava: a dialect of {J}ava without data races},
	Year = {2000}}

@inproceedings{BR01,
	Author = {Chandrasekhar Boyapati and Martin Rinard},
	Booktitle = oopsla,
	Title = {A Parameterized Type System for Race-Free {J}ava Programs},
	Year = {2001}}

@incollection{morrisett:harper:poly,
	Author = {Greg Morrisett and Robert Harper},
	Booktitle = {Higher Order Operational Techniques in Semantics},
	Editor = {Andrew D. Gordon and Andrew M. Pitts},
	Pages = {175--226},
	Publisher = {Cambridge University Press},
	Series = {Publications of the Newton Institute},
	Title = {Semantics of memory management for polymorphic languages},
	Volume = 12,
	Year = 1998}

@inproceedings{odersky:nested,
	Address = {London},
	Author = {Martin Odersky and Christoph Zenger},
	Booktitle = {Foundations of Object-oriented Programming (FOOL8)},
	Month = {January},
	Note = {Available from \texttt{http://www.cs.williams.edu/$\sim$kim/FOOL/FOOL8.html}},
	Title = {Nested Types},
	Year = 2001}

@inproceedings{SW02,
	Author = {Mats Skoglund and Tobias Wrigstad},
	Booktitle = {Sixth Conference on Computer Science and Informatics},
	Month = {March},
	Title = {Alias Control with read-only references},
	Year = 2002}

@inproceedings{banerjee:naumann:popl02,
	Address = {Portland, Oregon},
	Author = {Anindya Banerjee and David A. Naumann},
	Booktitle = {Proceedings of the 29th {ACM} Symposium on Principles of Programming Languages (POPL'02)},
	Month = {January},
	Title = {Representation Independence, Confinement, and Access Control},
	Year = {2002}}

@inproceedings{DF01,
	Author = {Robert DeLine and Manuel F{\"a}hndrich},
	Booktitle = {Proceedings of the ACM Conference on Programming Language Design and Implementation},
	Month = {June},
	Pages = {59--69},
	Title = {Enforcing High-Level Protocols in Low-Level Software},
	Year = 2001}

@inproceedings{FD02,
	Author = {Manuel F{\"a}hndrich and Robert DeLine},
	Booktitle = {Proceedings of the ACM Conference on Programming Language Design and Implementation},
	Month = {June},
	Title = {Adoption and Focus: Practical Linear Types for Imperative Programming},
	Year = 2002}

@inproceedings{cyclone:regions,
	Author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney},
	Booktitle = {Proceedings of the ACM Conference on Programming Language Design and Implementation},
	Month = {June},
	Title = {Region-based Memory Management in {C}yclone},
	Year = 2002}

@inproceedings{cyclone-multi-threaded,
	Address = {Now Orleans, LA},
	Author = {Dan Grossman},
	Booktitle = {ACM Workshop on Types in Language Design and Implementation},
	Month = {January},
	Title = {Type-safe Multithreading in {C}yclone},
	Year = 2003}

@incollection{LBR99,
	Address = {Boston},
	Author = {Gary T. Leavens and Albert L. Baker and Clyde Ruby},
	Booktitle = {Behavioral Specifications of Businesses and Systems},
	Editor = {Haim Kilov and Bernhard Rumpe and Ian Simmonds},
	Pages = {175--188},
	Publisher = {Kluwer Academic Publishers},
	Title = {{JML}: A Notation for Detailed Design},
	Year = 1999}

@techreport{modular:frame,
	Author = {Peter M{\"u}ller and Arnd Poetzsch-Heffter and Gary T. Leavens},
	Institution = {Department of Computer Science, Iowa State University},
	Month = {February},
	Number = {TR-02-02},
	Title = {Modular Specification of Frame Properties in {JML}},
	Year = 2002}

@inproceedings{loop,
	Address = 2031,
	Author = {Joachim van den Berg and Bart Jacobs},
	Booktitle = {Tools and Algorithms for the Construction and Analysis of Software (TACAS)},
	Editor = {T. Margaria and W. Yi},
	Pages = {299--312},
	Publisher = {Springer-Verlag},
	Series = {LNCS},
	Title = {The {LOOP} compiler for {J}ava and {JML}},
	Year = 2001}

@book{javacard,
	Author = {Z. Chen},
	Publisher = {Addison-Wesley},
	Series = {The {J}ava Series},
	Title = {{J}ava Card Technology for Smart Cards},
	Year = 2000}

@inproceedings{boyland:interdependence,
	Author = {John Boyland},
	Booktitle = {3rd Workshop on Formal Techniques for {J}ava Programs},
	Month = {June},
	Title = {The Interdependence of Effects and Uniqueness},
	Year = 2001}

@inproceedings{CD02,
	Author = {David Clarke and Sophia Drossopoulou},
	Booktitle = oopsla,
	Title = {Ownership, Encapsulation and the Disjointness of Type and Effect},
	Year = 2002}

@inproceedings{GPV01,
	Author = {Christian Grothoff and Jens Palsberg and Jan Vitek},
	Booktitle = oopsla,
	Title = {Encapsulating Objects with Confined Types},
	Year = {2001}}

@inproceedings{AKC02,
	Author = {Jonathan Aldrich and Valentin Kostadinov and Craig Chambers},
	Booktitle = oopsla,
	Month = {November},
	Title = {Alias Annotations for Program Understanding},
	Year = 2002}

@inproceedings{ACN02,
	Author = {Jonathan Aldrich and Craig Chambers and David Notkin},
	Booktitle = {ICSE},
	Month = {May},
	Title = {{Arch{J}ava}: Connecting Software Architecture to Implementation},
	Year = 2002}

@inproceedings{BLR02,
	Author = {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
	Booktitle = oopsla,
	Month = {November},
	Title = {Ownership Types for Safe Programming: Preventing Data Races and Deadlocks},
	Year = 2002}

@inproceedings{deboer:wpoo,
	Author = {Frank S. de Boer},
	Booktitle = {Foundations of Software Science and Computation Structures (FOSSACS'99)},
	Series = {LNCS},
	Title = {A {WP}-calculus for {OO}},
	Volume = 1578,
	Year = 1999}

@inproceedings{calcagno:fossacs2001,
	Author = {Cristiano Calcagno and Peter W. O'Hearn},
	Booktitle = {Foundations of Software Science and Computation Structures (FOSSACS'01)},
	Series = {LNCS},
	Title = {On Garbage and Program Logic},
	Volume = 2030,
	Year = 2001}

@inproceedings{igarashi99featherweight,
	Address = {N. Y.},
	Author = {Atshushi Igarashi and Benjamin Pierce and Philip Wadler},
	Booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages {\&} Applications ({OOPSLA}`99)},
	Editor = {Loren Meissner},
	Pages = {132--146},
	Title = {{Featherweight {J}ava}: {A} Minimal Core Calculus for {{J}ava} and {GJ}},
	Url = {citeseer.nj.nec.com/igarashi99featherweight.html},
	Volume = {34(10)},
	Year = {1999}}

@inproceedings{rustan:datagroups:pldi02,
	Author = {K. Rustan M. Leino and Arnd Poetzsch-Heffter and Yunhong Zhou},
	Booktitle = {Proceedings of the ACM Conference on Programming Language Design and Implementation},
	Month = {June},
	Title = {Using Data Groups to Specify and Check Side Effects},
	Year = 2002}

@techreport{BLS02,
	Author = {Chandrasekhar Boyapati and Barbara Liskov and Liuba Shrira},
	Institution = {Laboratory for Computer Science, MIT},
	Month = {July},
	Number = {MIT-LCS-TR-858},
	Title = {Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases},
	Year = 2002}

@inproceedings{Wad90,
	Address = {Sea of Gallilee, Israel},
	Author = {Phil Wadler},
	Booktitle = {IFIP TC 2 Working Conference on Programming Concepts and Methods},
	Editor = {M. Broy and C. B. Jones},
	Month = {April},
	Pages = {561--581},
	Publisher = {North-Holland},
	Title = {Linear types can change the world!},
	Year = 1990}

@article{Gir87,
	Author = {J.-Y. Girard},
	Journal = {Theoretical Computer Science},
	Pages = {1--102},
	Title = {Linear Logic},
	Volume = 50,
	Year = 1987}

@inproceedings{kob99,
	Author = {Naoki Kobayashi},
	Booktitle = {26th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Title = {Quasi-Linear Types},
	Year = 1999}

@inproceedings{walker01regions,
	Author = {David Walker and Kevin Watkins},
	Booktitle = {International Conference on Functional Programming},
	Pages = {181--192},
	Title = {On Regions and Linear Types},
	Year = {2001}}

@misc{haskell98short,
	Author = {Peyton Jones, Simon and John Hughes and others},
	Howpublished = {Available from \texttt{http://haskell.org}},
	Month = feb,
	Title = {{Haskell}~98 --- {A} Non-strict, Purely Functional Language},
	Year = 1999}

@inproceedings{rustan:nonnulltypes,
	Address = {M{\'a}laga, Spain},
	Author = {Manuel F{\"a}hndrich and K. Rustan M. Leino},
	Booktitle = {Formal Techniques for {J}ava-like Programs},
	Editor = {Erik Poll},
	Month = {June},
	Note = {Appears in Technical report NIII-R0204, Computing Science Department, University of Nijmegen, 2002},
	Title = {Non-null types in an object-oriented language},
	Year = 2002}

@inproceedings{gay:rc,
	Address = {Snowbird, Utah},
	Author = {David Gay and Alex Aiken},
	Booktitle = {ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (PLDI)},
	Month = {June},
	Title = {Language Support for Regions},
	Year = 2001}

@inproceedings{CW03a,
	Author = {David Clarke and Tobias Wrigstad},
	Booktitle = {FOOL},
	Title = {External Uniqueness},
	Year = {2003}}

@techreport{clarke:wrigstad:eu-tr,
	Author = {David Clarke and Tobias Wrigstad},
	Institution = {Utrecht University},
	Month = {November},
	Number = {UU-CS-2002-048},
	Title = {External Uniqueness is Unique Enough},
	Type = {Technical Report},
	Year = {2002}}

@inproceedings{salcianu:rinard,
	Address = {Snowbird, Utah},
	Author = {Alexandru Salcianu and Martin C. Rinard},
	Booktitle = {Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
	Month = {June},
	Title = {Pointer and Escape Analysis for Multithreaded Programs},
	Year = 2001}

@inproceedings{kim:composite-revisited,
	Address = {Portland, Oregon},
	Author = {Won Kim and Elisa Bertino and Jorge F Garza},
	Booktitle = {Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data},
	Pages = {337--347},
	Title = {Composite Objects Revisited},
	Year = 1989}

@inproceedings{kim:composite-oodb,
	Address = {Orlando, Florida},
	Author = {Won Kim and Jay Banerjee and Hong-Tai Chou and Jorge F Garza and Darrel Woelk},
	Booktitle = {OOPSLA'87 Conference Proceedings},
	Pages = {118--125},
	Title = {Composite Object Support in an Object-Oriented Database System},
	Year = 1987}

@inproceedings{BSBR03,
	Author = {Chandrasekhar Boyapati and Alexandru Salcianu and William Beebee and Martin Rinard},
	Booktitle = {ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI)},
	Month = jun,
	Title = {Ownership Types for Safe Region-Based Memory Management in Real-Time {J}ava},
	Year = 2003}

@unpublished{clarke:scopedjava,
	Author = {David Clarke and Jason M. Fox and James Noble and Jan Vitek},
	Month = nov,
	Note = {Not available from \url{http://www.cs.uu.nl/~dave}},
	Title = {Scoped{J}ava: Ownership for {R}eal-{T}ime {J}ava},
	Year = 2002}

@techreport{ghberyl2002,
	Author = {David Clarke and Johan Jeuring and Andres L\"{o}h},
	Institution = {Universiteit Utrecht},
	Number = {UU-CS-2002-047},
	Title = {The {G}eneric {H}askell {U}ser's {G}uide, Version 1.23 -- {B}eryl release},
	Year = {2002}}

@inproceedings{ghspec2002,
	Author = {David Clarke and Andres L\"{o}h},
	Booktitle = {Proceedings of the IFIP TC2 Working Conference on Generic Programming},
	Editor = {Johan Jeuring and Jeremy Gibbons},
	Title = {{G}eneric {H}askell, Specifically},
	Year = 2002}

@inproceedings{cardelli:etal:querygraph,
	Address = {Malaga, Spain},
	Author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
	Booktitle = {Automata, Languages, and Programming, 29th International Colloquium, ICALP 2002},
	Editor = {Peter Widmayer and Francisco Triguero and Rafael Morales and Matthew Hennessy and Stephan Eidenben and Ricardo Conejo (Eds.)},
	Month = {July},
	Number = 2380,
	Pages = {597--610},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Spatial Logic for Querying Graphs},
	Year = 2002}

@inproceedings{cardelli:ghelli:query,
	Address = {Genova, Italy},
	Author = {Luca Cardelli and Giorgio Ghelli},
	Booktitle = {10th European Symposium on Programming, ESOP 2001},
	Editor = {David Sands},
	Month = {April},
	Number = 2028,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Query Language Based on the Ambient Logic},
	Year = 2001}

@inproceedings{cardelli:gordon:anywhere,
	Author = {Luca Cardelli and Andrew D. Gordon},
	Booktitle = {Proceedings of the 27th ACM Symposium on Principles of Programming Languages},
	Month = {January},
	Pages = {365--377},
	Title = {Modal Logics for Mobile Ambients},
	Year = 2000}

@unpublished{cardelli:hidden,
	Author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
	Note = {Submitted},
	Title = {Manipulating Trees with Hidden Labels}}

@inproceedings{ownership:financial,
	Address = {Hong Kong},
	Author = {J. Geller and C. Rush and L. Liu and M. Halper and Y. Perl},
	Booktitle = {9th IFIP 2.6 Working Conference on Database Semantics (DS-9): Semantic Issues in e-Commerce Systems},
	Month = {April},
	Title = {Ownership Semantics in the Financial Domain},
	Year = 2001}

@article{grossman:morrisett:syntactic,
	Author = {Dan Grossman and Greg Morrisett and Steve Zdancewic},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {November},
	Number = 6,
	Pages = {1037--1080},
	Title = {Syntactic Type Abstraction},
	Volume = 22,
	Year = 2000}

@book{HW00,
	Author = {Ander Hejlsberg and Scott Wiltamuth},
	Publisher = {Microsoft Corporation},
	Title = {C{\#} Language Specification},
	Year = 2000}

@inproceedings{kennedy:syme:pldi,
	Author = {Andrew Kennedy and Don Syme},
	Booktitle = {Proceedings of the ACM Conference on Programming Language Design and Implementation},
	Month = {June},
	Title = {Design and Implementation of Generics for the {.NET} Common Language Runtime},
	Year = 2001}

@misc{dotnet,
	Annote = {Available from \texttt{http://msdn.\-microsoft.com\-/net\-/ecma/}},
	Author = {{EMCA}},
	Month = {December},
	Title = {Standard ECMA-335: {C}ommon {L}anguage {I}nfrastructure},
	Year = 2001}

@inproceedings{CRN03,
	Address = {Anaheim, California},
	Author = {David Clarke and Michael Richmond and James Noble},
	Booktitle = oopsla,
	Month = {November},
	Title = {Saving the World from Bad Beans: Deployment-time Confinement Checking},
	Year = 2003}

@inproceedings{deboer:vaneijk,
	Author = {Frank S. de Boer and Rogier van Eijk},
	Booktitle = {Computer Science Logic, 15th International Workshop (CSL 2001)},
	Pages = {324--338},
	Series = {LNCS},
	Title = {Decidable Navigation Logics for Object Structures},
	Volume = 2142,
	Year = {2001}}

@inproceedings{reddy:yang:esop2003,
	Author = {Uday Reddy and Hongseok Yang},
	Booktitle = {European Symposium on Programming (ESOP)},
	Pages = {223--237},
	Series = {LNCS},
	Title = {Correctness of Data Representations involving Heap Data Structures},
	Volume = 2618,
	Year = 2003}

@techreport{pierik:deboer:2003,
	Author = {Cees Pierik and Frank S. de Boer},
	Institution = {Utrecht University},
	Number = {UU-CS-2003-010},
	Title = {A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts},
	Year = 2003}

@inproceedings{skalka-smith-fcs02,
	Address = {Copenhagen, Denmark},
	Author = {Christian Skalka and Scott Smith},
	Booktitle = {Proceedings of the Foundations of Computer Security Workshop (FCS '02)},
	Month = {July},
	Title = {Static Use-Based Object Confinement},
	Year = 2002}

@book{ocl,
	Address = {Reading},
	Author = {Jos B. Warmer and Anneke G. Kleppe},
	Publisher = {Addison-Wesley},
	Title = {Object Constraint Language -- Precise modeling with UML},
	Year = 1999}

@misc{schmidtnotes,
	Author = {David A. Schmidt},
	Month = {December},
	Note = {Available from \url{http://www.cis.ksu.edu/~schmidt/papers/home.html}},
	Title = {Storeless semantics and separation logic},
	Year = 2002}

@article{typestate,
	Author = {Robert E. Strom and Shaula Yemeni},
	Journal = {IEEE Transactions on Software Engineering},
	Month = {January},
	Number = {1},
	Pages = {157--170},
	Title = {Typestate: A Progamming Language Concept for Enhancing Software Reliability},
	Volume = {SE-12},
	Year = {1986}}

@inproceedings{deline:fugue:oopsla03,
	Author = {Robert DeLine and Manuel F{\"a}hndrich},
	Note = {Submitted to OOPSLA 2003},
	Title = {The Fugue protocol checker: Is your software Baroque?}}

@techreport{deline:fugue,
	Author = {Robert DeLine and Manuel F{\"a}hndrich},
	Institution = {Microsoft Research},
	Number = {MSR-TR-2004-07},
	Title = {The Fugue protocol checker: Is your software Baroque?},
	Year = 2003}

@article{vitek01confined,
	Author = {J. Vitek and B. Bokowski},
	Journal = {Soft\-ware Prac\-tice and Experience},
	Number = {6},
	Pages = {507--532},
	Title = {Confined types in {{J}ava}},
	Volume = {31},
	Year = {2001}}

@misc{Wri04,
	Author = {Tobias Wrigstad},
	Month = {September},
	Note = {Licentiate Thesis, Department of Computer and Systems Sciences, Stockholm University.},
	Title = {External Uniqueness: A Theory of Aggregate Uniqueness for Object-Orientation},
	Year = 2004}

@article{DvO-CPE01,
	Author = {David von Oheimb},
	Editor = {Eisenbach, S. and Leavens, G. T.},
	Journal = {Concurrency and Computation: Practice and Experience},
	Number = 13,
	Pages = {1173--1214},
	Title = {Hoare Logic for {J}ava in {Isabelle/HOL}},
	Volume = 13,
	Year = {2001}}

@inproceedings{noble-semiotics,
	Author = {James Noble and Robert Biddle},
	Booktitle = ecoop,
	Month = jun,
	Title = {Patterns as Signs},
	Year = 2002}

@inproceedings{leino:oo-invariants,
	Address = {Darmastadt, Germany},
	Author = {Mike Barnett and Robert DeLine and Manuel F{\"a}rich and K. Rustan M. Leino and Wolfram Schulte},
	Booktitle = {Formal Techniques for {J}ava-like Programs},
	Editor = {Peter M{\"u}ller},
	Month = {July},
	Note = {Appears in Technical report 108 from the ETH Zurich},
	Title = {Verification of Object-Oriented Programs with Invariants},
	Year = 2003}

@incollection{burstall72,
	Author = {R. M. Burstall},
	Booktitle = {Machine Intelligence},
	Editor = {D. Mitchie},
	Pages = {23-50},
	Publisher = {American Elsevier},
	Title = {Some techniques for proving correctness of programs which alter data structures},
	Volume = 7,
	Year = 1972}

@article{hoarelogic,
	Author = {C. A. R. Hoare},
	Journal = {Communications of the ACM (CACM)},
	Number = 10,
	Title = {An axiomatic basis for computer programming},
	Volume = 12,
	Year = 1969}

@article{sagiv:reps:wilhelm:shape-analysis,
	Author = {M. Sagiv and T. Reps and R Wilhelm},
	Journal = {ACM TOPLAS},
	Number = 1,
	Pages = {1--50},
	Title = {Solving shape-analysis problems in languages with destructive update},
	Volume = 20,
	Year = 1998}

@inproceedings{reynolds:lics2002,
	Author = {John C. Reynolds},
	Booktitle = {LICS},
	Pages = {55--74},
	Title = {Separation Logic: A Logic for Shared Mutable Data Structures},
	Year = 2002}

@unpublished{cardelli:treeswithpointers,
	Author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
	Note = {Unpublished note},
	Title = {Querying Trees with Pointers},
	Year = {2003}}

@inproceedings{birkedal:popl2004,
	Author = {Lars Birkedal and Noah Torp-Smith and John C. Reynolds},
	Booktitle = {31st {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Note = {to appear},
	Title = {Local reasoning about a copying garbage collector},
	Year = 2004}

@inproceedings{boyapati:popl2003,
	Address = {New Orleans, Louisiana},
	Author = {Chandrasekhar Boyapati and Barbara Liskov and Liuba Shrira},
	Booktitle = {28th {ACM} Symposium on Principles of Programming Languages},
	Month = jan,
	Pages = {213 -- 223},
	Title = {Ownership Types for Object Encapsulation},
	Year = 2003}

@unpublished{derek:thesis,
	Author = {Derek Santib\'a{\~n}ez},
	Note = {Honours Thesis, School of MPCE, Macquarie University},
	Title = {Visualisation of Dynamic Ownership Trees in Evolving Object Graphs},
	Year = 1998}

@misc{skoglund:noproblem,
	Author = {Mats Skoglund},
	Note = {Lic. Thesis, Department of Computer and Systems Sciences, Stockholm University, Kista, Sweden},
	Title = {Investigating Object-Oriented Encapsulation in Theory and Practice},
	Year = {2003}}

@inproceedings{NP02,
	Address = {Malaga, Spain},
	Author = {James Noble and Alex Potanin},
	Booktitle = {4th Workshop on Formal Techniques for {J}ava Programs},
	Month = {June},
	Title = {Checking Ownership and Confinement Properties},
	Year = 2002}

@inproceedings{fickle,
	Address = {Budapest, Hungary},
	Author = {Sophia Drossopoulou and Ferruccio Damiani and Mariangiola Dezani and Paola Giannini},
	Booktitle = ecoop,
	Month = jun,
	Pages = {130-149},
	Publisher = {Springer Verlag},
	Title = {Fickle: Object Re-classification},
	Year = 2001}

@book{Joy99,
	Author = {Ian Joyner},
	Month = {July},
	Publisher = {Prentice Hall PTR},
	Series = {Object and Component Technology Series},
	Title = {Object Unencapsulated, {J}ava, Eiffel and C++??},
	Year = {1999}}

@misc{java:generics,
	Author = {Calvin Austin},
	Howpublished = {Article at Sun},
	Month = {February},
	Note = {\url{http://java.sun.com/developer/technicalArticles/releases/j2se15/}},
	Title = {J2SE 1.5 in a Nutshell},
	Year = {2004}}

@article{KT01,
	Author = {G\"unter Kniesel and Dirk Theisen},
	Journal = {Software --- Practice and Experience},
	Title = {{JAC}---Access right based encapsulation for {J}ava},
	Year = 2001}

@inproceedings{NBTPC03,
	Author = {James Noble and Robert Biddle and Ewan Tempero and Alex Potanin and Dave Clarke},
	Booktitle = iwaco,
	Editor = {Dave Clarke},
	Month = {July},
	Publisher = {Utrecht University},
	Series = {UU-CS-2003-030},
	Title = {Towards a Model of Encapsulation},
	Year = 2003}

@techreport{kniesel96,
	Author = {G{\"u}nther Kniesel},
	Institution = {Universi{\"a}t Bonn},
	Month = {November},
	Note = {Revised March 1998},
	Number = {IAI-TR-96-12},
	Title = {Encapsulation = visibility + accessibility},
	Year = 1996}

@phdthesis{aldrich-thesis,
	Author = {Jonathan Aldrich},
	Month = {August},
	School = {University of Washington},
	Title = {Using Types to Enforce Architectural Structure},
	Year = {2003}}

@inproceedings{polyglot,
	Address = {Warsaw, Poland},
	Author = {Nathaniel Nystrom and Michael R. Clarkson and Andrew C. Myers},
	Booktitle = {Proc. 12th International Conference on Compiler Construction},
	Month = {April},
	Note = {Available from \url{http://www.cs.cornell.edu/Projects/polyglot/}},
	Pages = {138--152},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Polyglot: An Extensible Compiler Framework for {J}ava},
	Volume = {2622},
	Year = {2003}}

@phdthesis{boyapati-thesis,
	Author = {Chandrasekhar Boyapati},
	Month = {February},
	School = {Electrical Engineering and Computer Science, MIT},
	Title = {Safe{J}ava: A Unified Type System for Safe Programming},
	Year = 2004}